María Svorenová

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 5

Top Topics

Transition Systems

Motion Planning

Receding Horizon

Top Venues

Publications

Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
Resource-Performance Tradeoff Analysis for Mobile Robots. IEEE Robotics Autom. Lett. 3 (3) (2018)
Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerná
Optimal Observation Mode Scheduling for Systems under Temporal Constraints. CoRR (2016)
María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
Resource-Performance Trade-off Analysis for Mobile Robots. CoRR (2016)
María Svorenová, Marta Kwiatkowska
Quantitative verification and strategy synthesis for stochastic games. Eur. J. Control 30 (2016)
Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerna
Optimal observation mode scheduling for systems under temporal constraints. ACC (2016)
María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC (2015)
María Svorenová, Ivana Cerna, Calin Belta
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. IEEE Trans. Autom. Control. 60 (6) (2015)
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC (2015)
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR (2014)
María Svorenová, Ivana Cerna, Calin Belta
Optimal Control of MDPs with Temporal Logic Constraints CoRR (2013)
María Svorenová, Ivana Cerná, Calin Belta
Optimal receding horizon control for finite deterministic systems with temporal logic constraints. ACC (2013)
María Svorenová, Ivana Cerná, Calin Belta
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints CoRR (2013)
María Svorenová, Ivana Cerna, Calin Belta
Optimal control of MDPs with temporal logic constraints. CDC (2013)
María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints CoRR (2012)
María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna
Attraction-based receding horizon path planning with temporal logic constraints. CDC (2012)