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
- Institute of Informatics,
Warsaw University
- Michal Bielecki
- Mikolaj Bojanczyk
- Thomas Colcombet
- Stefan Dziembowski
- Marcin Jurdzinski
- Lukasz Krzeszczakowski
- Slawomir Lasota
- Damian Niwinski
- Marcin Peczarski
- Michal Przybylski
- Aleksy Schubert
- Pawel Tatarczak
- Jerzy Tyszkiewicz. site leader
- Institute of Computer Science, Wroclaw University
