 | 2012 |
| 18 |  | Narcis Ghita,
Marius Kloetzer:
Trajectory planning for a car-like robot by environment abstraction.
Robotics and Autonomous Systems 60(4): 609-619 (2012) |
| 2011 |
| 17 |  | Marius Kloetzer,
Narcis Ghita:
Software tool for constructing cell decompositions.
CASE 2011: 507-512 |
| 16 |  | Marius Kloetzer,
Xu Chu Ding,
Calin Belta:
Multi-robot deployment from LTL specifications with reduced communication.
CDC-ECE 2011: 4867-4872 |
| 15 |  | Marius Kloetzer,
Xu Chu Ding,
Calin Belta:
Multi-robot Deployment From LTL Specifications with Reduced Communication
CoRR abs/1108.3240: (2011) |
| 2010 |
| 14 |  | Marius Kloetzer,
Sanjiv Itani,
Sam Birch,
Calin Belta:
On the need for communication in distributed implementations of LTL motion specifications.
ICRA 2010: 4451-4456 |
| 13 |  | Marius Kloetzer,
Cristian Mahulea,
Calin Belta,
Manuel Silva:
An Automated Framework for Formal Verification of Timed Continuous Petri Nets.
IEEE Trans. Industrial Informatics 6(3): 460-471 (2010) |
| 12 |  | Marius Kloetzer,
Calin Belta:
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications.
IEEE Transactions on Robotics 26(1): 48-61 (2010) |
| 2009 |
| 11 |  | Morteza Lahijanian,
Marius Kloetzer,
Sara Itani,
Calin Belta,
Sean B. Andersson:
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE).
ICRA 2009: 2055-2060 |
| 2008 |
| 10 |  | Marius Kloetzer,
Cristian Mahulea,
Calin Belta,
Laura Recalde,
Manuel Silva:
Formal analysis of timed continuous Petri nets.
CDC 2008: 245-250 |
| 9 |  | Marius Kloetzer,
Calin Belta:
Dealing with Nondeterminism in Symbolic Control.
HSCC 2008: 287-300 |
| 8 |  | Marius Kloetzer,
Calin Belta:
Distributed implementations of global temporal logic motion specifications.
ICRA 2008: 393-398 |
| 2007 |
| 7 |  | Marius Kloetzer,
Calin Belta:
Managing non-determinism in symbolic robot motion planning and control.
ICRA 2007: 3110-3115 |
| 6 |  | Marius Kloetzer,
Calin Belta:
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions.
IEEE Transactions on Robotics 23(2): 320-330 (2007) |
| 2006 |
| 5 |  | Marius Kloetzer,
Calin Belta:
A Fully Automated Framework for Control of Linear Systems from LTL Specifications.
HSCC 2006: 333-347 |
| 4 |  | Marius Kloetzer,
Calin Belta:
Reachability Analysis of Multi-affine Systems.
HSCC 2006: 348-362 |
| 3 |  | Marius Kloetzer,
Calin Belta:
Hierarchical Abstractions for Robotic Swarms.
ICRA 2006: 952-957 |
| 2 |  | Marius Kloetzer,
Calin Belta:
A Framework for Automatic Deployment of Robots in 2D and 3D Environments.
IROS 2006: 953-958 |
| 2004 |
| 1 |  | Corneliu Lazar,
Sorin Carari,
Draguna Vrabie,
Marius Kloetzer:
Neuro-predictive control based self-tuning of PID controllers.
ESANN 2004: 391-395 |