Course References Exams Exercises

Infinite Games

Lecturer: Martin Zimmermann
Assistant: Felix Klein
Lectures: Thursdays, 10:15-12:00, E1.3 HS 003
Tutorials: Tuesdays 16:00-18:00, E2 5 SR U.11

News

Topics

Textbooks

Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.)
Automata, Logics, and Infinite Games: A Guide to Current Research
Springer, Berlin;
Lecture Notes in Computer Science 2500
2nd Print (1. November 2005)
ISBN-10: 0387292373
   

Advanced Lecture (6 CP)
Winter Term 2013/2014