News
Re-exam grades and inspectionWritten on 29.10.24 by Rayna Dimitrova Dear Students, We have graded your exams, and you should be able to see your grades on your Personal Status page. If you have any questions,… Read more Dear Students, We have graded your exams, and you should be able to see your grades on your Personal Status page. If you have any questions, please let me know. Kind regards, |
Re-examWritten on 21.10.24 (last change on 21.10.24) by Rayna Dimitrova Dear Students. In order to take part in the re-exam on 28th October, PLEASE REGISTER for the re-exam in the LSF AS SOON AS POSSIBLE! Registration is possible only until 22nd October. Best regards, Rayna |
Exam Grades and Re-ExamWritten on 11.10.24 by Rafael Dewes Dear Students, we have graded your exams and you should be able to see your grades on your Personal Status page. Those of you who would like to take the re-exam, please register in… Read more Dear Students, we have graded your exams and you should be able to see your grades on your Personal Status page. Those of you who would like to take the re-exam, please register in CMS for the re-exam by 17th October. In case of any questions, please let us know.
We wish you a nice weekend! Philippe, Rafael, and Rayna |
Project Feedback and BonusWritten on 02.10.24 by Philippe Heim Dear students we have finally uploaded more detailed feedback to your project submissions. Furthermore, we have also decided who will be awarded the bonus. Best regards |
Project Passing ResultsWritten on 30.09.24 by Philippe Heim Dear students, we are happy to announce that all teams that have submitted a project solution have passed and are therefore admitted for the exam. In order to take part in the exam you MUST REGISTER for the exam in the LSF AS SOON AS POSSIBLE! We will provide you with more detailed feedback… Read more Dear students, we are happy to announce that all teams that have submitted a project solution have passed and are therefore admitted for the exam. In order to take part in the exam you MUST REGISTER for the exam in the LSF AS SOON AS POSSIBLE! We will provide you with more detailed feedback on your project and if you qualified for the bonus within the next days. If you are unsure whether you have passed, you can find this on your personal CMS status page. Best |
Office hour 7th OctoberWritten on 27.09.24 by Rayna Dimitrova Dear Students, for last-minute questions before the exam, we will have an office hour on Monday, October 7th, between 9am and 11am. This will take place in E9.1 (CISPA Building), Meeting room 2.22. Of course, if you have any questions before that, please do not hesitate to get in touch with… Read more Dear Students, for last-minute questions before the exam, we will have an office hour on Monday, October 7th, between 9am and 11am. This will take place in E9.1 (CISPA Building), Meeting room 2.22. Of course, if you have any questions before that, please do not hesitate to get in touch with us. I wish you a nice weekend and a successful exam preparation! Best regards, Rayna |
Project deadline extension to 9:00 am 28.09.2024Written on 27.09.24 by Rayna Dimitrova Dear Students, due to requests we have decided to extend the deadline for project submission to 9:00am on Saturday morning (28.09.2024). This deadline is strict. If you have any last-minute questions about the project, please do come ask them during today's tutorial. We wish you a successful… Read more Dear Students, due to requests we have decided to extend the deadline for project submission to 9:00am on Saturday morning (28.09.2024). This deadline is strict. If you have any last-minute questions about the project, please do come ask them during today's tutorial. We wish you a successful project completion!
|
Project ReleaseWritten on 18.09.24 by Philippe Heim Dear students, we have now released the project description. Unfortunately, due to a mistake from our side the project was not release yesterday immediately after the tutorial. There are two important dates: Please register a team by September 24. We allow teams up to two students, but you also… Read more Dear students, we have now released the project description. Unfortunately, due to a mistake from our side the project was not release yesterday immediately after the tutorial. There are two important dates: Please register a team by September 24. We allow teams up to two students, but you also have to register a team if you plan to submit alone. The submission deadline for the project is on September 27 at 17:59. Feel free to ask if anything is still unclear! |
Welcome!Written on 12.09.24 by Rayna Dimitrova Dear Students, Dear Students, |
Advanced Lecture (6 CP), Block course in September 2024
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 intended of 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: 16th – 20th and 23rd – 27th September, 9:00 – 11:00
Where: lecture hall 001, building E1 3
Tutorials
When: 16th – 20th and 23rd – 27th September, 13:00 – 15:00
Where: lecture hall 001, building E1 3
Project
The project will start after the first week the block course and will have to be submitted by the end of the second of week. The project is mandatory, and its timely submission is a passing requirement.
Start: 20th September
Submission deadline: 27th September, 17:59
Exam
When: October 8th, 13 – 15
Where: lecture hall 001, building E1 3
Form of the exam: The exam will be a written exam. Students are allowed to bring and use an A4 sheet of paper (both sides, printed or hand-written) with any content they find helpful.
Re-exam: Date and time for a re-exam will be determined once it is known which students will be taking the re-exam.
A passing grade in the project is required for exam admission.
Exam inspection: October 15th, 15 -- 17, E9.1 (CISPA Building), Meeting room 2.22.
Re-exam: October 28th, 10 -- 12, E9.1 (CISPA Building), Room 0.01.
Grading
The grade is determined by the exam. The project additionally carries extra credit points that can improve your exam grade.