Advanced Topics in Infinite Games
Seminar (7 CP)
Summer Term 2014
- The slides of the kick-off meeting can be found here.
- The kick-off meeting takes place April 16th, 14:00-16:00, in Room 528, Building E 1 3.
- For background on infinite games, we recommend Chapter 2 of these lectures notes.
Many of todays problems in computer science are no longer concerned with programs that transform data and then terminate, but with non-terminating systems which have to interact with a possibly antagonistic environment. The emergence of so-called “reactive systems” requires new approaches to verification and synthesis. Over the course of the last fifty years it turned out to be very fruitful to model and analyze reactive systems in a game-theoretic framework, which captures the antagonistic and strategic nature of the interaction between the system and its environment. In this seminar, we will explore advanced concepts in the theory of infinite games, among them concurrent and probabilistic games, games of imperfect information, and specifications going beyond omega-regular ones.
To register please send a mail to email@example.com .
As usual, you have to register with us as well as in the course management system.