2
Outline
Chapter 7 in the textbook:
SO, MSO,
9
SO,
9
MSO
Games for SO
Reachability
Buchis theorem