Paris Team
rtn games
You are at the Paris node of the research training network «Games and Automata for Synthesis and Verification» [GAMES]. This is a four year project (2002-2006) funded by the European Comission under the Fifth Framework Programme.
The Paris team coordinates the network research on Task 4: «Analysis techniques for infinite-state systems» and is involved in most of the other research tasks.
Associated Researchers
- LIAFA,
University Paris 7 & CNRS
- Anca Muscholl, local co-ordinator
- Ahmed Bouajjani
- Olivier Carton
- Paul Gastin
- Jean-Eric Pin
- Marc Zeitoun
- Wieslaw Zielonka
- Blaise Genest
- Hugo Gimbert
- Florian Horn
- Benjamin Lerman
- Mathias Samuelides
- Olivier Serre
- Faculty of Computer Science,
University of Stuttgart
- Chair: Volker Diekert
