Slides from the introduction.
Video of the second lecture (Büchi + Parity games)
Video of the third lecture (Parity Tree Automata)
Exercises on games over graphs with solution
video of the correction
Exercise on Muller games with solution
Survey of Wolfgang Thomas,
Languages, Automata and Logic
with a correction of exercice 3.5 from lecture notes (cf p. 45 of the survey, example 6.3) and also definitions and basic stuffs about MSO logic.