MPRI

• Slides from the introduction.
• Lecture Notes.
• Video of the second lecture (Büchi + Parity games) and its slides.
• Video of the third lecture (Parity Tree Automata).
• Exercises on games over graphs with solution and the 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.