Aachen Team
rtn games
You are at the Aachen 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 Aachen team coordinates the network research on Task 2: »Algorithmic Analysis of Parity Games« and is involved in most of the other research tasks.
Associated Researchers
- Department of Computer Science 7,
Aachen University
- Chair: Wolfgang Thomas, site leader,
- Thierry Cachat,
- Colin Hirsch,
- Christof Löding,
- Philipp Rohde,
- Stefan Wöhrle.
- Mathematical
Foundations of Computer Science, Aachen University
- Chair: Erich Grädel, network co-ordinator,
- Dietmar Berwanger,
- Achim Blumensath,
- Jacques Duparc,
- Stephan Kreutzer,
- Antje Nowack,
- Mariane Riss.
- Institute for Computer Science and Applied Mathematics,
University of Kiel
- Chair: Thomas Wilke,
- Carsten Fritz,
- Ralf Küsters.
- Institut Montefiore,
University of Liege
- Chair: Pierre Wolper,
- Bernard Boigelot.