|
[PDF]
|
[PS]
|
The Mec 5 model-checker.
Alain Griffault and Aymeric Vincent,
CAV 2004, Boston, July 2004
|
|
[PDF]
|
[PS]
|
Conception et réalisation d'un vérificateur de modèles AltaRica.
Aymeric Vincent,
PhD thesis, LaBRI, University of Bordeaux 1, December 2003
|
|
[PDF]
|
[PS]
|
Vérification de modèles AltaRica.
Alain Griffault and Aymeric Vincent,
MAJECSTIC 2003, Marseille, October 2003
|
|
[PDF]
|
[PS]
|
Games for synthesis of controllers with partial observation.
André Arnold, Aymeric Vincent and Igor Walukiewicz,
TCS, 303(1):7--34, June 2003
|
|
[PDF]
|
[PS]
|
Synthèse de contrôleurs et stratégies gagnantes dans les jeux de parité.
Aymeric Vincent,
MSR 2001, Toulouse, Hermès, editor, pp. 87--98,
October 2001
|