Completed
LTL
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