Matthieu Gallien

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

Coauthor Index

1	Yasmina Abdeddaïm	[2]
2	Eugene Asarin	[2]
3	Ananda Basu	[4]
4	Saddek Bensalem	[4]
5	Jérémie Guiochet	[1] [3]
6	Félix Ingrand (François Felix Ingrand)	[1] [2] [3] [4]
7	Marc-Olivier Killijian	[1] [3]
8	Charles Lesire	[2] [4]
9	Benjamin Lussier	[1] [3]
10	Thanh-Hung Nguyen	[4]
11	David Powell	[1] [3]
12	Joseph Sifakis	[4]
13	Mihaela Sighireanu	[2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page