Seguir
Maria Svorenova
Título
Citado por
Citado por
Ano
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
552013
Quantitative verification and strategy synthesis for stochastic games
M Svoreňová, M Kwiatkowska
European Journal of Control 30, 15-30, 2016
542016
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
412015
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
362015
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
342018
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
272012
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
112013
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
82014
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
42016
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
Hierarchie regulárních jazyků
M Svoreňová
Masarykova univerzita, Přírodovědecká fakulta, 2011
12011
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á
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–18