Document Actions
Automata and Games
The theory of automata on finite strings, infinite strings and trees provides an expressive formal framework for reasoning about reactive systems, such as communication protocols and control systems. Reactive systems are characterized by their nonterminating behaviour and persistent interaction with their environment.
In this course we will discuss the following topics:
- Automata over infinite words and trees (omega-automata)
- Infinite two-player games
- Logical systems for the specification of nonterminating behavior
- Transformation of automata according to logical operations
Links & Literature
- Bakhadyr Khoussainov and Anil Nerode, Automata Theory and its Applications
- Automata, Logics, and Infinite Games: A Guide to Current Research by Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.) Lecture Notes in Computer Science 2500, Online Version [login from the University]
- Automata, Games and Verification, Lecture course by Prof. Dr. Bernd Finkbeiner [recommended to download his notes before the lectures: s1.pdf, s2.pdf (will be continued)]
- Instructors: Dr. Harald Fecher
- Times & Locations: Monday, 15:00 c.t. - 17:00, SR 01-009, Geb. 101 | Friday, 9:00 c.t. - 11:00, SR 00-010, Geb. 101 | First lecture: 21.4.
- Tutors: Sergiy Bogomolov