2011 Summer School on Program Synthesis
August 8-12, 2011
Schloss Dagstuhl, Germany
Homepage of the summer school
Slides of my lectures:
Introduction (Reactive Systems, LTL, Program Verification and Repair)
Automata-based Game Theory (Terminology)
Reachability and Safety Games
Büchi and Generalized Reactivity-1 (GR-1) Games
Compile, Specify, Run: Applications of GR-1