News
Project Passing ResultsWritten on 26.09.26 by Rayna Dimitrova Dear Students, In the feedback for your project submissions in CMS, you can now see whether you have passed the project and whether you were awarded a bonus (in case you have submitted the bonus task). In order to take part in the exam, you MUST REGISTER for the exam in the LSF AS SOON AS… Read more Dear Students, In the feedback for your project submissions in CMS, you can now see whether you have passed the project and whether you were awarded a bonus (in case you have submitted the bonus task). In order to take part in the exam, you MUST REGISTER for the exam in the LSF AS SOON AS POSSIBLE! The FINAL deadline is Monday (28th September)! Note that you can only take the exam if you have passed the project and are registered in LSF. We will provide you with some feedback on your project next week. Best regards, Rayna and Benedikt |
Reminder: different shedule on 23.09 (Wednesday)Written on 22.09.26 by Rayna Dimitrova Dear Students, This is a reminder about the unusual schedule for Wednesday (23.09). The lecture will start at 13:15, and the tutorial at 15:15. See you tomorrow! |
Reminder: Project Q&A in today's tutorialWritten on 22.09.26 by Rayna Dimitrova Dear Students, We hope that you are making good progress with the hands-on project. Today's tutorial will be a Q&A session about the project, where you can ask clarifying questions about the task. Please recall that the project submission deadline is this Thursday (24.09). |
Reminder: No lecture and tutorial on Monday (21.09) and team registrationWritten on 18.09.26 by Rayna Dimitrova Dear Students, This is a reminder that on Monday, 21.09, there will be no lecture or tutorial. Our next lecture will be on Tuesday. Also, please remember to register your project team by the end of Monday at the latest, if you have not done so already. Note that you need to register a team even… Read more Dear Students, This is a reminder that on Monday, 21.09, there will be no lecture or tutorial. Our next lecture will be on Tuesday. Also, please remember to register your project team by the end of Monday at the latest, if you have not done so already. Note that you need to register a team even if you are doing the project by yourself. Have a nice weekend! |
Reminder: different shedule on 16.09 (Wednesday)Written on 15.09.26 by Rayna Dimitrova Dear Students, This is a reminder about the unusual schedule for Wednesday (16.09). The lecture will start at 13:15, and the tutorial at 15:15. See you tomorrow! |
Project ReleaseWritten on 14.09.26 by Rayna Dimitrova Dear Students, We have now released the project description. There are two important dates: Please register a team by September 21. We allow teams of up to two students, but you must still register a team if you plan to submit alone. The submission deadline for the project is September 24 at 23:59.… Read more Dear Students, We have now released the project description. There are two important dates: Please register a team by September 21. We allow teams of up to two students, but you must still register a team if you plan to submit alone. The submission deadline for the project is September 24 at 23:59. |
Welcome!Written on 07.09.26 by Rayna Dimitrova Dear Students, We hope you have had a great summer, and look forward to welcoming you to the course Reactive Synthesis! The first lecture is this Thursday, September 10th, at 10:15, in building E9.1 (CISPA Building), lecture hall 0.05. Dear Students, We hope you have had a great summer, and look forward to welcoming you to the course Reactive Synthesis! The first lecture is this Thursday, September 10th, at 10:15, in building E9.1 (CISPA Building), lecture hall 0.05. See you there! Best regards, |
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 application 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, 10:00 – 12:00 (except for 16.09 and 23.09, when 13:00 – 15:00)
Where: E9.1 (CISPA Building), Lecture hall 0.05
Tutorials
When: 10th – 25th September, 13:00 – 15:00 (except for 16.09 and 23.09, when 15:00 – 17:00)
Where: E9.1 (CISPA Building), Lecture hall 0.05
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.