inf335 - Strategy Synthesis (Complete module description)
Module label | Strategy Synthesis |
Modulkürzel | inf335 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Prerequisites | No participant requirements |
Skills to be acquired in this module | The students learn fundamental techniques in strategy synthesis as foundation for high-level control strategies in highly autonomous systems Professional competences The students:
The students:
The students:
The students:
|
Module contents | The module gives an introduction to the synthesis of control strategies for highly autonomous systems. We first introduce classical game theory and present algorithms for synthesizing strategies for reactive system. We extend this to open systems, and analyze conditions, under which synthesis for distributed systems is decidable. We introduce remorse-free strategies and present compositional approaches to synthesis of remorse-free strategies. We analyze under what conditions world models allow for optimal remorse free strategies. We provide algorithms for computing weakest assumptions on the system environments under which winning strategies exist. We extend this to cooperative strategy synthesis, where multiple players cooperate in achieving jointly the system objectives. We illustrate these concepts with examples from autonomous driving. |
Literaturempfehlungen | Suggested reading:
|
Links | |
Language of instruction | English |
Duration (semesters) | 1 Semester |
Module frequency | annual |
Module capacity | unlimited |
Teaching/Learning method | 1VL + 1Ü |
Previous knowledge | none |
Lehrveranstaltungsform | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | SoSe oder WiSe | 28 | |
Exercises | 2 | SoSe oder WiSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | At the end of the lecture period |
Wirtten or oral exam |