Completed
Where are we now
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Reactive Synthesis
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Presentation
- 3 Outline
- 4 Hands of Church
- 5 Automata
- 6 LTL
- 7 Distributed Systems
- 8 Partial Observation
- 9 Decidability
- 10 UMB Protocol
- 11 Bounded Synthesis
- 12 Improvements in Reasoning
- 13 Where are we now
- 14 The basic story
- 15 The disparity automaton
- 16 The game
- 17 Complexity
- 18 Construction
