Slides from the introduction.
Exercise on Muller games with solution
Exercises on games over graphs 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.