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.