 | 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 |
