Vienna Team
rtn games
You are at the Vienna 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 Vienna team coordinates the network research on Task 8: »Automata and query languages for semistructured data«.
Associated Researchers
- Database and Artificial Intelligence Group, Vienna University of Technology