Reactive Synthesis - Open Questions and Challenges
Offered By: Simons Institute via YouTube
Course Description
Overview
Explore key open questions and challenges in reactive synthesis through an insightful panel discussion featuring experts Bernd Finkbeiner, Orna Kupferman, and Moshe Vardi. Delve into the complexities of synthesizing models and systems as the panelists share their perspectives on current issues and future directions in this critical area of computer science and formal methods.
Syllabus
Panel: Reactive Synthesis - Open Questions and Challenges
Taught by
Simons Institute
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera