Mária Svoreňová

2015

Mária Svoreňová:
Control Strategy Synthesis for Path Planning under Temporal Constraints,
Ph.D. Thesis, 2015. [bibtex, pdf, url]

Mária Svoreňová, Ivana Černá, and Calin Belta:
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties,
IEEE Transactions on Automatic Control, 2015. [bibtex]

Mária Svoreňová, Jan Křetínský, Martin Chmelík, Krishnendu Chatterjee, Ivana Černá, and Calin Belta:
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games,
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, Association for Computing Machinery (ACM), 2015, 259-268. [bibtex]

Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Černá, and Calin Belta:
Temporal Logic Motion Planning using POMDPs with Parity Objectives,
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, Association for Computing Machinery (ACM), 2015, 233-238. [bibtex]

2013

Mária Svoreňová, Ivana Černá, and Calin Belta:
Optimal Control of MDPs with Temporal Logic Constraints,
Proceedings of The 52nd IEEE Conference on Decision and Control, Omnipress for the IEEE Control Systems Society, 2013, 3938-3943. [bibtex, url]

Mária Svoreňová, Ivana Černá, and Calin Belta:
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints,
Proceedings of The 2013 American Control Conference, Institute of Electrical and Electronics Engineers ( IEEE ), 2013, 4399 - 4404. [bibtex, url]

2012

Mária Svoreňová, Jana Tůmová, Jiří Barnat, and Ivana Černá:
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints,
IEEE Conference on Decision and Control (CDC 2012), Omnipress for IEEE Control Systems Society, 2012, 6749–6754. [bibtex]

2010

Mária Svoreňová:
Verifikace hybridních systémů,
Bakalářská práce, 2010. [bibtex, pdf, url]