| No. |
Title |
Author |
Year |
| 1 |
Automata Theory: Infinite Computations (Dagstuhl Seminar 9202) |
Compton, Kevin et al. |
2021 |
| 2 |
Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk) |
Thomas, Wolfgang |
2017 |
| 3 |
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) |
Chatterjee, Krishnendu et al. |
2015 |
| 4 |
10501 Abstracts Collection -- Advances and Applications of Automata on Words and Trees |
Glasser, Christian et al. |
2011 |
| 5 |
10501 Executive Summary -- Advances and Applications of Automata on Words and Trees |
Glasser, Christian et al. |
2011 |
| 6 |
08271 Abstracts Collection -- Topological and Game-Theoretic Aspects of Infinite Computations |
Hertling, Peter et al. |
2008 |
| 7 |
08271 Executive Summary -- Topological and Game-Theoretic Aspects of Infinite Computations |
Hertling, Peter et al. |
2008 |
| 8 |
05241 Abstracts Collection -- Synthesis and Planning |
Kautz, Henry et al. |
2006 |
| 9 |
05241 Executive Summary -- Synthesis and Planning |
Kautz, Henry et al. |
2006 |
| 10 |
Deterministic Automata on Unranked Trees |
Thomas, Wolfgang et al. |
2005 |
