| 2008 |
|---|
| 4 | EE | Ananda Basu,
Matthieu Gallien,
Charles Lesire,
Thanh-Hung Nguyen,
Saddek Bensalem,
Félix Ingrand,
Joseph Sifakis:
Incremental Component-Based Construction and Verification of a Robotic System.
ECAI 2008: 631-635 |
| 2007 |
|---|
| 3 | EE | Benjamin Lussier,
Matthieu Gallien,
Jérémie Guiochet,
Félix Ingrand,
Marc-Olivier Killijian,
David Powell:
Fault Tolerant Planning for Critical Robots.
DSN 2007: 144-153 |
| 2 | | Yasmina Abdeddaïm,
Eugene Asarin,
Matthieu Gallien,
Félix Ingrand,
Charles Lesire,
Mihaela Sighireanu:
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.
ICAPS 2007: 2-9 |
| 1 | | Benjamin Lussier,
Matthieu Gallien,
Jérémie Guiochet,
Félix Ingrand,
Marc-Olivier Killijian,
David Powell:
Planning with Diversified Models for Fault-Tolerant Robots.
ICAPS 2007: 216-223 |
