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

Rice Team

rtn games

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.

Associated Researchers