Automata, Logics, and Infinite Games 2001: Dagstuhl, Germany

Part I. Introduction

• Berndt Farwer:
  omega-Automata. 3-20
  Electronic Edition (Springer LINK) BibTeX
• René Mazala:
  Infinite Games. 23-42
  Electronic Edition (Springer LINK) BibTeX

Part II. Determinization and Complementation

• Markus Roggenbach:
  Determinization of Büchi-Automata. 43-60
  Electronic Edition (Springer LINK) BibTeX
• Felix Klaedtke:
  Complementation of Büchi Automata Using Alternation. 61-78
  Electronic Edition (Springer LINK) BibTeX
• Stefan Schwoon:
  Determinization and Complementation of Streett Automata. 79-91
  Electronic Edition (Springer LINK) BibTeX

Part III. Parity Games

• Ralf Küsters:
  Memoryless Determinacy of Parity Games. 95-106
  Electronic Edition (Springer LINK) BibTeX
• Hartmut Klauck:
  Algorithms for Parity Games. 107-129
  Electronic Edition (Springer LINK) BibTeX

Part IV. Tree Automata

• Frank Nießner:
  Nondeterministic Tree Automata. 135-152
  Electronic Edition (Springer LINK) BibTeX
• Daniel Kirsten:
  Alternating Tree Automata and Parity Games. 153-167
  Electronic Edition (Springer LINK) BibTeX

Part V. Modal µ-Calculus

• Júlia Zappe:
  Modal µ-Calculus and Alternating Tree Automata. 171-184
  Electronic Edition (Springer LINK) BibTeX
• Luca Alberucci:
  Strictness of the Modal µ-Calculus Hierarchy. 185-201
  Electronic Edition (Springer LINK) BibTeX

Part VI. Monadic Second-Order Logic

• Mark Weyer:
  Decidability of S1S and S2S. 207-230
  Electronic Edition (Springer LINK) BibTeX
• Klaus Reinhardt:
  The Complexity of Translating Logic to Finite Automata. 231-238
  Electronic Edition (Springer LINK) BibTeX
• Philipp Rohde:
  Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. 239-257
  Electronic Edition (Springer LINK) BibTeX

Part VII. Tree-like Models

• Martin Leucker:
  Prefix-Recognizable Graphs and Monadic Logic. 263-284
  Electronic Edition (Springer LINK) BibTeX
• Dietmar Berwanger, Achim Blumensath:
  The Monadic Theory of Tree-like Structures. 285-302
  Electronic Edition (Springer LINK) BibTeX
• Thierry Cachat:
  Two-Way Tree Automata Solving Pushdown Games. 303-317
  Electronic Edition (Springer LINK) BibTeX

Part VIII. Guarded Logics

• Thoralf Räsch:
  Introduction to Guarded Logics. 321-342
  Electronic Edition (Springer LINK) BibTeX
• Dietmar Berwanger, Achim Blumensath:
  Automata for Guarded Fixed Point Logics. 343-355
  Electronic Edition (Springer LINK) BibTeX

Part IX. Appendices

• Carsten Fritz:
  Some Fixed Point Basics. 359-364
  Electronic Edition (Springer LINK) BibTeX