Reactive Synthesis

Reactive Synthesis

Simons Institute via YouTube Direct link

Presentation

2 of 18

2 of 18

Presentation

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. 1 Introduction
  2. 2 Presentation
  3. 3 Outline
  4. 4 Hands of Church
  5. 5 Automata
  6. 6 LTL
  7. 7 Distributed Systems
  8. 8 Partial Observation
  9. 9 Decidability
  10. 10 UMB Protocol
  11. 11 Bounded Synthesis
  12. 12 Improvements in Reasoning
  13. 13 Where are we now
  14. 14 The basic story
  15. 15 The disparity automaton
  16. 16 The game
  17. 17 Complexity
  18. 18 Construction

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.