Reactive Synthesis

Rayna Dimitrova

News

Second Deadline Extension

Written on 06.02.23 (last change on 06.02.23) by Philippe Heim

Dear students,

we decided to extend the project deadline a second time. The new deadline is February 12.

Deadline Extension

Written on 27.01.23 by Philippe Heim

Dear Students,

we decided to extend the submission deadline for the project by one week. The new deadline is February 6.

 

 

Plan for the remaining weeks

Written on 19.01.23 by Rafael Dewes

Dear Students,

since there will be some changes in the schedule regarding exercises, tutorials and office hours,
we'd like to give you a short overview beforehand.

All the lectures as well as the tutorial on Friday, 20.01., are unaffected and will take place as planned.

For the next week… Read more

Dear Students,

since there will be some changes in the schedule regarding exercises, tutorials and office hours,
we'd like to give you a short overview beforehand.

All the lectures as well as the tutorial on Friday, 20.01., are unaffected and will take place as planned.

For the next week starting on the 23.01.:

  • There is no new problem set for this week, so you can focus on finishing the project submission due on Monday, 30.01.; this week will be your last opportunity to ask questions about it.
  • We will have an online Office Hour on Wednesday, 25.01., at 4 pm.
  • The tutorial on Friday, 27.01., will take place in person at the usual time and place, but as another Office hour for the project.

For the week after, starting on the 30.01.:

  • There will not be a tutorial on the 3rd.

For the week starting on the 06.02.:

  • We will have a summary lecture on Monday, 06.02.
  • There will be a tutorial Friday, 10.02., where we will discuss the remaining exercises and any open questions about the materials.

 

We will update the timetable on the CMS to reflect these changes. If you have any more questions, feel free to ask. 
Good luck with the project, and see you on Friday!

Problem Set and Project Reminder

Written on 06.01.23 by Philippe Heim

Dear students,

The new problem set for lecture 8 is now available in the CMS. Please remember to register your teams for the project (even if you want to work alone) by Monday.

 

Online Tutorial on January 6

Written on 04.01.23 (last change on 04.01.23) by Philippe Heim

Dear students,

due to the energy saving measures of the university, the upcoming tutorial on Friday (January 6) will take place online on Zoom. You can find the link to the meeting on the CMS.

See you on Friday.

Reminder: Project Office Hour today at 4 pm on Zoom

Written on 21.12.22 by Rafael Dewes

Dear students,

just a quick reminder that there will be an office hour today, and no tutorial this Friday.
Should you have any questions regarding the project or problem sets so far, feel free to join us on zoom.

Please remember to create teams on your personal status page in the CMS, even if… Read more

Dear students,

just a quick reminder that there will be an office hour today, and no tutorial this Friday.
Should you have any questions regarding the project or problem sets so far, feel free to join us on zoom.

Please remember to create teams on your personal status page in the CMS, even if you intend to work alone.
Use the forum if you are looking for a project partner, or in case more questions arise.

Happy holidays and see you next year!

Information for next week, December 19-23

Written on 16.12.22 by Rafael Dewes

Dear students,

as you may know, the university will start a period of reduced heating from next week until January 6.
The lecture will happen at the usual time on Monday, December 19, over zoom.
You can find the link to the meeting on the CMS.

The tutorial this Friday (December 16) will take… Read more

Dear students,

as you may know, the university will start a period of reduced heating from next week until January 6.
The lecture will happen at the usual time on Monday, December 19, over zoom.
You can find the link to the meeting on the CMS.

The tutorial this Friday (December 16) will take place in person as before; we will discuss the latest problem set.

There is, however, no new problem set this week, and we won't have a tutorial on Friday, December 23.
Instead, there will be an Office Hour on Wednesday, December 21, at 4 pm.
You can ask questions about the project, the lecture, and previous exercises.
This office hour will be held on zoom; see the respective link on this page. 

We hope to see many of you next week. Best wishes.

 

Project

Written on 15.12.22 by Philippe Heim

Dear students,

we are happy to announce the start of the project. The project description is available in the Materials section. Please note the following:

  • You can submit alone or as a group of two. Either way, you should form a team of one or two on your personal status page by January 9.… Read more

Dear students,

we are happy to announce the start of the project. The project description is available in the Materials section. Please note the following:

  • You can submit alone or as a group of two. Either way, you should form a team of one or two on your personal status page by January 9. You can use the forum to find a project partner if you want to work in a group.
  • If you have any questions regarding the project, feel free to ask them in the forum such that other students will also benefit from your question.
  • You have to submit the project by January 30.

Good luck with the project.

Exam dates

Written on 23.11.22 by Rayna Dimitrova

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

 

 

Problem Set 2.5

Written on 18.11.22 by Philippe Heim

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!

First Tutorial

Written on 07.11.22 by Philippe Heim

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!

First Problem Set

Written on 02.11.22 by Rafael Dewes

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!

First lecture

Written on 28.10.22 (last change on 28.10.22) by Rayna Dimitrova

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!
Show all

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.