General
- study semester
-
5-6
- standard study semester
-
6
- cycle
- occasional
- duration
- 1 semester
- SWS
- 4
- ECTS
- 6
- teaching language
- English
People
- responsible
-
Dr. Swen Jacobs
- lectures
-
Dr. Swen Jacobs
Assessment & Grades
- entrance requirements
-
Grundzüge der Theoretischen Informatik
- assessment / exams
Projekt und schriftliche Abschlussklausur
- grade
Das Modul ist insgesamt bestanden, wenn die Prüfungsleistung bestanden wurde.
Workload
- course type /weekly hours
2 h lectures
+ 2 h tutorial
= 4 h (weekly)
- total workload
60 h of classes
+ 120 h private study
= 180 h (= 6 ECTS)
Aims / Competences to be developed
Students will gain an understanding of reactive synthesis in its full breadth, ranging from its theoretical formalization as an infinite game to efficient algorithms and data structures to solve the synthesis problem, and in the implementation of state-of-the-art algorithms for practically relevant and challenging problems.
Content
- State of the art in reactive synthesis
- Formalization of reactive synthesis problems as an infinite game
- Different types of infinite games
- Solving infinite games
- Efficient algorithms and data structures for solving games
- Implementation of reactive synthesis tools/game solvers
Literature & Reading
The teaching material will be in English and it will be announced at the beginning of the lecture.
Additional Information
Curriculum
This module is part of the following study programmes:
Cybersicherheit BSc: Vertiefungsvorlesungen der Cybersicherheit
study semester: 5-6 / standard study semester: 6
Cybersecurity MSc: Vertiefungsvorlesungen Cybersecurity
study semester: 1-3 / standard study semester: 4
Cybersecurity BSc (English): Kernthemen der Cybersicherheit
study semester: 5-6 / standard study semester: 6