| A fully automated framework for control of linear systems from temporal logic specifications M Kloetzer, C Belta IEEE Transactions on Automatic Control 53 (1), 287-297, 2008 | 639 | 2008 |
| Automatic deployment of distributed teams of robots from temporal logic motion specifications M Kloetzer, C Belta IEEE Transactions on Robotics 26 (1), 48-61, 2009 | 224 | 2009 |
| Temporal logic planning and control of robotic swarms by hierarchical abstractions M Kloetzer, C Belta IEEE Transactions on Robotics 23 (2), 320-330, 2007 | 178 | 2007 |
| Automatic deployment of robotic teams XC Ding, M Kloetzer, Y Chen, C Belta IEEE Robotics & Automation Magazine 18 (3), 75-86, 2011 | 96 | 2011 |
| Reachability analysis of multi-affine systems M Kloetzer, C Belta International Workshop on Hybrid Systems: Computation and Control, 348-362, 2006 | 82 | 2006 |
| A fully automated framework for control of linear systems from LTL specifications M Kloetzer, C Belta International Workshop on Hybrid Systems: Computation and Control, 333-347, 2006 | 82 | 2006 |
| Dealing with nondeterminism in symbolic control M Kloetzer, C Belta International Workshop on Hybrid Systems: Computation and Control, 287-300, 2008 | 76 | 2008 |
| Multi-robot deployment from LTL specifications with reduced communication M Kloetzer, XC Ding, C Belta 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 70 | 2011 |
| Optimizing cell decomposition path planning for mobile robots using different metrics M Kloetzer, C Mahulea, R Gonzalez 2015 19th international conference on system theory, control and computing …, 2015 | 67 | 2015 |
| Comparative study of trajectories resulted from cell decomposition path planning approaches R Gonzalez, M Kloetzer, C Mahulea 2017 21st International Conference on System Theory, Control and Computing …, 2017 | 57 | 2017 |
| Robot planning based on boolean specifications using Petri net models C Mahulea, M Kloetzer IEEE Transactions on Automatic Control 63 (7), 2218-2225, 2017 | 53 | 2017 |
| A matlab-based interactive simulator for mobile robotics R Gonzalez, C Mahulea, M Kloetzer 2015 IEEE International Conference on Automation Science and Engineering …, 2015 | 52 | 2015 |
| LTL-based planning in environments with probabilistic observations M Kloetzer, C Mahulea IEEE Transactions on Automation Science and Engineering 12 (4), 1407-1420, 2015 | 51 | 2015 |
| A Petri net based approach for multi-robot path planning M Kloetzer, C Mahulea Discrete Event Dynamic Systems 24, 417-445, 2014 | 51 | 2014 |
| Path planning for robotic teams based on LTL specifications and Petri net models M Kloetzer, C Mahulea Discrete Event Dynamic Systems 30 (1), 55-79, 2020 | 49 | 2020 |
| Hierarchical abstractions for robotic swarms M Kloetzer, C Belta Proceedings 2006 IEEE International Conference on Robotics and Automation …, 2006 | 49 | 2006 |
| Path planning of cooperative mobile robots using discrete event models C Mahulea, M Kloetzer, R González John Wiley & Sons, 2020 | 48 | 2020 |
| Trajectory planning for a car-like robot by environment abstraction N Ghita, M Kloetzer Robotics and Autonomous Systems 60 (4), 609-619, 2012 | 45 | 2012 |
| An automated framework for formal verification of timed continuous petri nets M Kloetzer, C Mahulea, C Belta, M Silva IEEE Transactions on Industrial Informatics 6 (3), 460-471, 2010 | 42 | 2010 |
| LTL planning for groups of robots M Kloetzer, C Belta 2006 IEEE International Conference on Networking, Sensing and Control, 578-583, 2006 | 34 | 2006 |
Cristian MahuleaProfessor of Automatic Control, University of ZaragozaZweryfikowany adres z unizar.es