María Svorenová

According to our database, María Svorenová authored at least 10 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Resource-Performance Tradeoff Analysis for Mobile Robots.

Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska

IEEE Robotics Autom. Lett., 2018

2016

Quantitative verification and strategy synthesis for stochastic games.

María Svorenová, Marta Kwiatkowska

Eur. J. Control, 2016

Resource-Performance Trade-off Analysis for Mobile Robots.

María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska

CoRR, 2016

Optimal observation mode scheduling for systems under temporal constraints.

Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerna

Proceedings of the 2016 American Control Conference, 2016

2015

Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties.

María Svorenová, Ivana Cerna, Calin Belta

IEEE Trans. Autom. Control., 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

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Temporal logic motion planning using POMDPs with parity objectives: case study paper.

María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2013

Optimal control of MDPs with temporal logic constraints.

María Svorenová, Ivana Cerna, Calin Belta

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal receding horizon control for finite deterministic systems with temporal logic constraints.

María Svorenová, Ivana Cerná, Calin Belta

Proceedings of the American Control Conference, 2013

2012

Attraction-based receding horizon path planning with temporal logic constraints.

María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna

Proceedings of the 51th IEEE Conference on Decision and Control, 2012