Follow
Marius Kloetzer
Title
Cited by
Cited by
Year
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
6182008
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
2102009
Temporal logic planning and control of robotic swarms by hierarchical abstractions
M Kloetzer, C Belta
IEEE Transactions on Robotics 23 (2), 320-330, 2007
1712007
Automatic deployment of robotic teams
XC Ding, M Kloetzer, Y Chen, C Belta
IEEE Robotics & Automation Magazine 18 (3), 75-86, 2011
952011
Reachability analysis of multi-affine systems
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 348-362, 2006
832006
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
822006
Dealing with nondeterminism in symbolic control
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 287-300, 2008
762008
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
692011
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
652015
A matlab-based interactive simulator for mobile robotics
R Gonzalez, C Mahulea, M Kloetzer
2015 IEEE International Conference on Automation Science and Engineering …, 2015
502015
A Petri net based approach for multi-robot path planning
M Kloetzer, C Mahulea
Discrete Event Dynamic Systems 24, 417-445, 2014
502014
Hierarchical abstractions for robotic swarms
M Kloetzer, C Belta
Proceedings 2006 IEEE International Conference on Robotics and Automation …, 2006
492006
Robot planning based on boolean specifications using Petri net models
C Mahulea, M Kloetzer
IEEE Transactions on Automatic Control 63 (7), 2218-2225, 2017
472017
LTL-based planning in environments with probabilistic observations
M Kloetzer, C Mahulea
IEEE Transactions on Automation Science and Engineering 12 (4), 1407-1420, 2015
462015
Trajectory planning for a car-like robot by environment abstraction
N Ghita, M Kloetzer
Robotics and Autonomous Systems 60 (4), 609-619, 2012
452012
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
422020
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
422017
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
402010
Path planning of cooperative mobile robots using discrete event models
C Mahulea, M Kloetzer, R González
John Wiley & Sons, 2020
382020
LTL planning for groups of robots
M Kloetzer, C Belta
2006 IEEE International Conference on Networking, Sensing and Control, 578-583, 2006
342006
The system can't perform the operation now. Try again later.
Articles 1–20