Reactive Synthesis

Explore the foundations and advanced concepts of reactive synthesis in this comprehensive lecture by Bernd Finkbeiner from CISPA Helmholtz Center for Information Security. Delve into topics such as the Hands of Church problem, automata theory, Linear Temporal Logic (LTL), distributed systems, and partial observation. Examine the decidability of synthesis problems, the UMB protocol, and bounded synthesis techniques. Gain insights into recent improvements in reasoning and the current state of the field. Analyze the basic story of reactive synthesis, the disparity automaton, game theory applications, complexity considerations, and construction methods. Enhance your understanding of model and system synthesis through this in-depth presentation from the Simons Institute.

Introduction
Presentation
Outline
Hands of Church
Automata
LTL
Distributed Systems
Partial Observation
Decidability
UMB Protocol
Bounded Synthesis
Improvements in Reasoning
Where are we now
The basic story
The disparity automaton
The game
Complexity
Construction