Games, logic and Automata Seminar
In this seminar we will study topics related to games, logic and automata and a rich interplay between them.
Requeirements: (a) give a lecture. (b) actively participate in the lectures of other students.
We will use book Automata, Logic and infinite games, edited by Gradel, Thomas and Wilke, LNCS 2500.
you can download the book from here
Here you can find many interesting papers. Games, logic and Automata training network
Slides Games - basic notions. slides
Nondeterministic tree Automata. Ch8, LNCS2005
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007)
Determinization of Buchi Automata