News
Currently, no news are available
Advanced Lecture (6 CP), Block course in September 2026
Course Content
Reactive synthesis is an automatic procedure for obtaining correct-by-design reactive systems from high-level specifications. Reactive systems are ones that interact with a (possibly adversarial) environment in an ongoing manner. Examples of such systems include, for example, software controllers of robotic systems. Thus, in recent years, techniques for reactive synthesis have found applications in control, robotics, and the design of autonomous systems.
In this course, we will study the theoretical foundations, as well as the practical aspects of reactive synthesis. We will study temporal logic as a high-level specification language, and discuss the challenges of writing specifications intended for synthesis that capture the designer's intent. We will study the automata-theoretic foundations of reactive synthesis, as well as algorithms for solving two-player games of infinite duration used to solve the synthesis problem. We will particularly focus on techniques for obtaining efficient implementations of synthesis algorithms, and study specification language fragments for which efficient solutions exist. Finally, we study the foundations of reactive synthesis to software and to richer classes of systems, such as, for instance, real-time systems.
During the course, students will work on a hands-on project, applying the knowledge acquired during the lecture. The project will focus on writing specifications for challenging designs, evaluating the specifications' quality, and hands-on use of reactive synthesis tools to design systems that satisfy the specifications.
Organization
Lectures
When: 10th – 25th September, 9:00 – 11:00
Where: TBD
Tutorials
When: 10th – 25th September, 13:00 – 15:00
Where: TBD
Project
The project will start after the first week of the block course and will have to be submitted by the end of the second week. The project is mandatory, and its timely submission is required for passing.
Exam
When: October 5th, 14 – 16
Re-exam: October 23rd, 10 – 12
Exam admission: A passing grade in the project is required for exam admission.
Grading
The grade is determined by the exam. The project additionally carries extra credit points that can improve your exam grade.