Completed
GR(1) Synthesis Process
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Just-In-Time Reactive Synthesis
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Motivation
- 3 Just-in-time Synthesis
- 4 Background
- 5 GR(1) Synthesis Process
- 6 Main Contribution: JITS Approach
- 7 JITS Approach (Storing)
- 8 JITS Approach (Execution)
- 9 Static Approach vs. JITS Approach
- 10 JITS Approach (Soundness & Deadlock-Freedom)
- 11 JITS Extensions
- 12 Implemented Extensions
- 13 Evaluation Setup
- 14 Realizability vs. Construction Evaluation
- 15 Synthesis Evaluation
- 16 Execution Evaluation
- 17 Evaluation Results
- 18 Future Work
- 19 Just in Time Reactive Synthesis
