Attraction-based receding horizon path planning with temporal logic constraints. - María Svorenová; Jana Tumova; Jiri Barnat; Ivana Cerna (CDC, 2012)

Optimal receding horizon control for finite deterministic systems with temporal logic constraints. - María Svorenová; Ivana Cerná; Calin Belta (ACC, 2013)

Optimal control of MDPs with temporal logic constraints. - María Svorenová; Ivana Cerna; Calin Belta (CDC, 2013)

Temporal logic motion planning using POMDPs with parity objectives: case study paper. - María Svorenová; Martin Chmelik; Kevin Leahy 001; Hasan Ferit Eniser; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. - María Svorenová; Jan Kretínský; Martin Chmelik; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. - María Svorenová; Ivana Cerna; Calin Belta (IEEE Trans. Autom. Control., 2015)

Optimal observation mode scheduling for systems under temporal constraints. - Eva Tesarova; María Svorenová; Jiri Barnat; Ivana Cerna (ACC, 2016)

Resource-Performance Trade-off Analysis for Mobile Robots. - María Svorenová; Morteza Lahijanian; Akshay A. Morye; Dushyant Rao; Ingmar Posner; Paul Newman 001; Hadas Kress-Gazit; Marta Kwiatkowska (CoRR, 2016)

Quantitative verification and strategy synthesis for stochastic games. - María Svorenová; Marta Kwiatkowska (Eur. J. Control, 2016)

Resource-Performance Tradeoff Analysis for Mobile Robots. - Morteza Lahijanian; María Svorenová; Akshay A. Morye; Brian Yeomans; Dushyant Rao; Ingmar Posner; Paul Newman 001; Hadas Kress-Gazit; Marta Kwiatkowska (IEEE Robotics Autom. Lett., 2018)