Concepedia

Mária Svoreňová

MS

7

Publications

204

Citations

7

H-Index

2012

Active since

Affiliations

Masaryk University(Current)

Institute of Science and Technology Austria

University of Oxford

Boston University

Mária Svoreňová is an author at Masaryk University specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomationAutomated ReasoningFormal MethodsRobot LearningMechanism DesignGamesBusiness

Publications per year

2012–2018

7

Publications

7

Quantitative verification and strategy synthesis for stochastic games

Mária Svoreňová, Marta Kwiatkowska · European Journal of Control · 2016 · 50 citations · Full text

Mathematical Programming, Engineering, Game Theory +20

Optimal control of MDPs with temporal logic constraints

Mária Svoreňová, Ivana Černá, Călin Belta · 2013 · 38 citations

Mathematical Programming, Engineering, Game Theory +19

Resource-Performance Tradeoff Analysis for Mobile Robots

Morteza Lahijanian, Mária Svoreňová, Akshay A. Morye et al. · IEEE Robotics and Automation Letters · 2018 · 30 citations

Artificial Intelligence, Robotic Systems, Engineering +22

Temporal logic motion planning using POMDPs with parity objectives

Mária Svoreňová, Martin Chmelík, Kevin Leahy et al. · 2015 · 26 citations

Engineering, Field Robotics, Intelligent Systems +20

Attraction-based receding horizon path planning with temporal logic constraints

Mária Svoreňová, Jana Tůmová, Ivana Černá · 2012 · 21 citations

Artificial Intelligence, Engineering, Intelligent Robotics +18

Rows per page

1–5 of 7