YoVDO

Reactive Synthesis - Open Questions and Challenges

Offered By: Simons Institute via YouTube

Tags

Formal Methods Courses Game Theory Courses Distributed Systems Courses Automata Theory Courses Real-Time Systems Courses Temporal Logic Courses Program Synthesis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Interaction
Independent
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