GAMES logo Nodes: Aachen
Aachen Bordeaux Edinburgh Paris Rice Uppsala Warsaw Vienna

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