| Quantitative verification and strategy synthesis for stochastic games M Svoreňová, M Kwiatkowska European Journal of Control 30, 15-30, 2016 | 57 | 2016 |
| 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 | 56 | 2013 |
| 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 | 42 | 2015 |
| 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 | 37 | 2015 |
| 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 | 36 | 2018 |
| 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 | 27 | 2012 |
| 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 | 11 | 2013 |
| 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 | 8 | 2014 |
| 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 | 5* | 2016 |
| 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 | 4 | 2016 |
| Hierarchie regulárních jazyků M Svoreňová Masarykova univerzita, Přírodovědecká fakulta, 2011 | 1 | 2011 |
| Formal Methods in Optimal Discrete Path Planning with Uncertainty M SVOREŇOVÁ Masarykova univerzita, Fakulta informatiky, 2013 | | 2013 |
| 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á | | |
