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

Warsaw Team

rtn games

You are at the Warsaw 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 Warsaw team coordinates the network research on Task 6: »Game models for protocols« and is involved in most of the other research tasks.

Associated Researchers