Reactive Synthesis Rayna Dimitrova

News

23.11.2022

Exam dates

Dear Students,

The exam dates are as follows:

End of Term: 1st March 2023
Re-Exam: 31st March 2023

We will have an oral exam.

In case you have an unavoidable conflict on the above dates, please let us know as soon as possible.

Kind... Read more

Dear Students,

The exam dates are as follows:

End of Term: 1st March 2023
Re-Exam: 31st March 2023

We will have an oral exam.

In case you have an unavoidable conflict on the above dates, please let us know as soon as possible.

Kind regards,

Rayna

 

 

18.11.2022

Problem Set 2.5

Dear students,

We published another problem set on the topics of lecture two since there was no lecture this week. However, it focuses more on games as we had no game-related exercises on the last problem set.

Have a nice weekend, and see you on Monday!

07.11.2022

First Tutorial

Dear students,

the tutorials will take place on Fridays from 14:15 to 16:00 in lecture hall 3 in E1 3. We will have our first tutorial this week (11th of November).

See you on Friday!

02.11.2022

First Problem Set

Dear students,

the first problem set can now be found under materials. 
We will discuss it in the first tutorial.

On that note, make sure to register your preference for the tutorials by Friday at noon.

See you next week!

28.10.2022

First lecture

Dear Students, the first lecture takes place on Monday, 31st October, at 14:15. Attendance is possible both in person and online (you can find the Zoom link for the lecture under "Information").

Have a nice weekend, and see you on Monday!

 

Advanced Lecture (6 CP), Winter Term 2022/2023

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 practical aspects of reactive synthesis. We will study temporal logic as a high-level specification language, and discuss the challenges of writing specifications 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. 

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: Mondays 14:15-16:00
Where: E9.1 (CISPA Building), Lecture hall 0.05 and on Zoom.

The first lecture will be on 31.10. There will be no lecture on 14.11. Due to the university's energy-saving measures, the lecture on 19.12. and on 02.01. will be held online.

The lectures will take place in hybrid form. Details regarding online participation via Zoom will be shared with registered participants.

Tutorials

When: Fridays 14:15-16:00
Where: E1.3, Lecture Hall 3

The tutorials will start in the third week of the semester. 

Exercise Sheets

We will provide exercise sheets every week and the solutions will be discussed in the tutorial. While the exercise sheets are not mandatory, we strongly advise students to work on them and discuss their solutions in the tutorial sessions.

Project

The project will start mid December and will have to be submitted around the end of January (exact dates to be determined). Submission of the project is required for exam admission.

Exam

When: TBD
Where: TBD

Grading

The grade is determined by the exam. The project additionally carries extra credit points that can improve your exam grade.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators