Edinburgh Team [rtn games]
Welcome
You are at the Edinburgh 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 Edinburgh team coordinates the network research on Task 7: »Logics, games, and efficient query evaluation « and is involved in most of the other research tasks.
Associated Researchers
|