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

Bordeaux Team

rtn games

You are at the Bordeaux 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 Bordeaux team coordinates the network research on Task 1: »Minimizing automata and simplifying games« and is involved in most of the other research tasks.

Associated Researchers