Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. - Yasmina Abdeddaïm; Eugene Asarin; Matthieu Gallien; Félix Ingrand; Charles Lesire; Mihaela Sighireanu (ICAPS, 2007)

Planning with Diversified Models for Fault-Tolerant Robots. - Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell (ICAPS, 2007)

Fault Tolerant Planning for Critical Robots. - Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell (DSN, 2007)

Incremental Component-Based Construction and Verification of a Robotic System. - Ananda Basu; Matthieu Gallien; Charles Lesire; Thanh-Hung Nguyen; Saddek Bensalem; Félix Ingrand; Joseph Sifakis (ECAI, 2008)

Designing autonomous robots. - Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Thanh-Hung Nguyen (IEEE Robotics Autom. Mag., 2009)