Seminar |
Technische Universität Dresden |
The Hauptseminar is concerned with the close connection between automata, logic, and infinite games. In particular, we will be concerned with non-deterministic and alternating automata on infinite trees, the mu-calculus, and parity games. The seminar will be based on the book
Erich Grädel, Wolfgang Thomas, Thomas Wilke (Editors). Automata, Logics, and Infinite Games. Lecture Notes in Computer Science Volume 2500. Springer Verlag, 2002.
Each seminar topic will be based on a chapter from this book. In addition, every participant is supposed to read and understand the following paper:
Thomas Wilke. Alternating tree automata, parity games, and modal mu-calculus. Bulletin of the Belgian Mathematical Society, 8(2):359-391, 2002.
When | Speaker | Topic | Tutor |
All | Chapter 1: ω-Automata |
- | |
All | Chapter 2:
Infinite Games |
- | |
All | Q & A:
about Chapter1 and Chapter 2 |
- | |
E. Sherkhonov | Chapter 4: Complementation of Büchi Automata using Alternation |
A.-Y. Turhan | |
M. Hutagalung | Chapter 6: Memoryless Determinacy of Parity Games |
B. Morawska | |
M. Raitza | Chapter 9: Alternation Tree Automata and Parity Games |
R. Penaloza | |
M. F. Arif | Chapter 10: Modal μ-calculus and Alternating Tree Automata |
F. Distel | |
announced |
W. Fu | Chapter 8: Nondeterministic Tree Automata |
A.-Y. Turhan |