Infinite Computations and Games


Lecture in the winter term 2018/2019

A lecture slide from the lecture Infinite Games showing a game graph Copyright: © C. Löding



Mo, 10:30 - 12:00 Uhr (AH II)
Di, 10:30 - 12:00 Uhr (AH II)

Exercise class
Fr, 8:30 - 10:00 Uhr (5052)



  • automata on infinite words, the basic definitions and constructions
  • deterministic automata and classes of acceptance conditions
  • infinite games as models of reactive systems
  • automata on infinite trees and their connection to games
  • applications in logic, verification ans synthesis


This course is only addressed to M.Sc. students. Note That B.Sc. students can not take part in this course.

Knowledge of automata theory as presented in basic courses is required for participation.



The course will be held in English.


Christof Löding



There will be weekly exercise sets. Completing these successfully, reaching at least 50% of possible points, is necessary for admittance to the examination.

Groups of up to three students are allowed in fact, encouraged to work together and hand in the solutions together.

The exact modalities will be announced in the lecture.


There will be written exams.


External Links