Maria Svorenova
Title
Cited by
Cited by
Year
Optimal control of MDPs with temporal logic constraints
M Svoreňová, I Černá, C Belta
52nd IEEE Conference on Decision and Control, 3938-3943, 2013
462013
Quantitative verification and strategy synthesis for stochastic games
M Svoreňová, M Kwiatkowska
European Journal of Control 30, 15-30, 2016
372016
Temporal logic motion planning using POMDPs with parity objectives: case study paper
M Svoreňová, M Chmelík, K Leahy, HF Eniser, K Chatterjee, I Černá, ...
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
302015
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M Svoreňová, J Křetínský, M Chmelík, K Chatterjee, I Černá, C Belta
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
262015
Attraction-based receding horizon path planning with temporal logic constraints
M Svorenova, J Tumova, J Barnat, I Cerna
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, 6749-6754, 2012
212012
Resource-Performance Tradeoff Analysis for Mobile Robots
M Lahijanian, M Svorenova, AA Morye, B Yeomans, D Rao, I Posner, ...
IEEE Robotics and Automation Letters 3 (3), 1840-1847, 2018
132018
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
M Svorenova, I Cerna, C Belta
American Control Conference (ACC), 2013, 4399 - 4404, 2013
82013
Optimal temporal logic control for deterministic transition systems with probabilistic penalties
M Svoreňová, I Černá, C Belta
IEEE Transactions on Automatic Control 60 (6), 1528-1541, 2014
62014
Resource-performance trade-off analysis for mobile robot design
M Lahijanian, M Svorenova, AA Morye, B Yeomans, D Rao, I Posner, ...
arXiv preprint arXiv:1609.04888, 2016
4*2016
Optimal observation mode scheduling for systems under temporal constraints
E Tesařová, M Svoreňová, J Barnat, I Černá
2016 American Control Conference (ACC), 1099-1104, 2016
42016
Resource-performance trade-off analysis for mobile robot design
M Lahijanian, M Svorenova, AA Morye, B Yeomans, D Rao, I Posner, ...
arXiv preprint arXiv:1609.04888, 2016
32016
Formal Methods in Optimal Discrete Path Planning with Uncertainty
M SVOREŇOVÁ
Masarykova univerzita, Fakulta informatiky, 2013
2013
Hierarchie regulárních jazyků
M Svoreňová
Masarykova univerzita, Přírodovědecká fakulta, 2011
2011
Verifikace hybridních systémů
M SVOREŇOVÁ
Masarykova univerzita, Fakulta informatiky, 2010
2010
Polojednoduché algebry
M SVOREŇOVÁ
Masarykova univerzita, Přírodovědecká fakulta, 2008
2008
Formal Methods in Robot Path Planning
M Svorenová
Resource-Performance Trade-off Analysis for Mobile Robot Design
M Svorenova, M Lahijanian, AA Morye, D Rao, I Posner, P Newman, ...
Control Strategy Synthesis for Path Planning under Temporal Constraints
M Svorenová
The system can't perform the operation now. Try again later.
Articles 1–18