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

Uppsala Team

rtn games

You are at the Uppsala 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 Uppsala team coordinates the network research on Task 3: »Synthesis and testing for reactive computation« and is involved in most of the other research tasks.

Associated Researchers