Optimal path planning for surveillance with temporal-logic constraints SL Smith, J Tůmová, C Belta, D Rus The International Journal of Robotics Research 30 (14), 1695-1708, 2011 | 244 | 2011 |
Temporal logic control of discrete-time piecewise affine systems B Yordanov, J Tumova, I Cerna, J Barnat, C Belta IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011 | 168 | 2011 |
Multi-agent planning under local LTL specifications and event-based synchronization J Tumova, DV Dimarogonas Automatica 70, 239-248, 2016 | 125 | 2016 |
Least-violating control strategy synthesis with safety rules J Tumova, GC Hall, S Karaman, E Frazzoli, D Rus Proceedings of the 16th international conference on Hybrid systems …, 2013 | 112 | 2013 |
Incremental sampling-based algorithm for minimum-violation motion planning LIR Castro, P Chaudhari, J Tůmová, S Karaman, E Frazzoli, D Rus 52nd IEEE Conference on Decision and Control, 3217-3224, 2013 | 107 | 2013 |
Reinforcement learning with probabilistic guarantees for autonomous driving M Bouton, J Karlsson, A Nakhaei, K Fujimura, MJ Kochenderfer, ... arXiv preprint arXiv:1904.07189, 2019 | 83 | 2019 |
Minimum-violation scLTL motion planning for mobility-on-demand CI Vasile, J Tumova, S Karaman, C Belta, D Rus 2017 IEEE International Conference on Robotics and Automation (ICRA), 1481-1488, 2017 | 79 | 2017 |
LTL robot motion control based on automata learning of environmental dynamics Y Chen, J Tůmová, C Belta 2012 IEEE International Conference on Robotics and Automation, 5177-5182, 2012 | 71 | 2012 |
Cooperative task planning of multi-agent systems under timed temporal specifications A Nikou, J Tumova, DV Dimarogonas 2016 American Control Conference (ACC), 7104-7109, 2016 | 70 | 2016 |
Minimum-violation LTL planning with conflicting specifications J Tůmová, LIR Castro, S Karaman, E Frazzoli, D Rus 2013 American Control Conference, 200-205, 2013 | 68 | 2013 |
Optimal Path Planning under Temporal Logic Contstraints SL Smith, J Tůmová, C Belta, D Rus Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent …, 2010 | 68 | 2010 |
On the timed temporal logic planning of coupled multi-agent systems A Nikou, D Boskos, J Tumova, DV Dimarogonas Automatica 97, 339-345, 2018 | 60 | 2018 |
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints M Guo, J Tumova, DV Dimarogonas 53rd IEEE conference on decision and control, 75-80, 2014 | 59 | 2014 |
A receding horizon approach to multi-agent planning from local LTL specifications J Tůmová, DV Dimarogonas 2014 American Control Conference, 1775-1780, 2014 | 50 | 2014 |
Risk-aware motion planning for autonomous vehicles with safety specifications T Nyberg, C Pek, L Dal Col, C Norén, J Tumova 2021 ieee intelligent vehicles symposium (iv), 1016-1023, 2021 | 44 | 2021 |
Multi-robot LTL planning under uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova International Symposium on Formal Methods, 399-417, 2018 | 40 | 2018 |
ProbDiVinE-MC: Multi-core LTL model checker for probabilistic systems J Barnat, L Brim, I Cerná, M Ceška, J Tumova 2008 Fifth International Conference on Quantitative Evaluation of Systems, 77-78, 2008 | 40 | 2008 |
Coupled multi-robot systems under linear temporal logic and signal temporal logic tasks L Lindemann, J Nowak, L Schönbächler, M Guo, J Tumova, ... IEEE Transactions on Control Systems Technology 29 (2), 858-865, 2019 | 39 | 2019 |
Formal analysis of piecewise affine systems through formula-guided refinement B Yordanov, J Tůmová, C Belta, I Černá, J Barnat 49th IEEE Conference on Decision and Control (CDC), 5899-5904, 2010 | 38 | 2010 |
Cooperative planning for coupled multi-agent systems under timed temporal specifications A Nikou, D Boskos, J Tumova, DV Dimarogonas 2017 American Control Conference (ACC), 1847-1852, 2017 | 37 | 2017 |