You are at the Rice 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 Rice team coordinates the network research on Task 5: »Linear-time model checking« and is involved in most of the other research tasks.
- Department of Computer Science,
- Moshe Vardi, site leader,
- Ben McMahan,
- Doron Bustan,