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

Talks:

Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov: Memoryless determinacy of parity and mean payoff games: a simple proof. Theor. Comput. Sci. 310(1-3): 365-378 (2004)

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