inf335 - Strategy Synthesis (Vollständige Modulbeschreibung)
Modulbezeichnung | Strategy Synthesis |
Modulkürzel | inf335 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Keine Teilnehmervoraussetzungen |
Kompetenzziele | Fachkompetenzen
Methodenkompetenzen
Die Studierenden
Die Studierenden:
Die Studierenden:
|
Modulinhalte | Das Modul gibt eine Einführung in die Synthese von Regelstrategien für hochautonome Systeme. Wir führen zunächst in die klassische Spieltheorie ein und stellen Algorithmen zur Synthese von Strategien für reaktive Systeme vor. Wir erweitern dies auf offene Systeme und analysieren die Bedingungen, unter denen die Synthese für verteilte Systeme entscheidbar ist. Wir führen reuefreie Strategien ein und stellen kompositionelle Ansätze zur Synthese reuefreier Strategien vor. Wir analysieren, unter welchen Bedingungen Weltmodelle optimale reuefreie Strategien zulassen. Wir stellen Algorithmen zur Berechnung der schwächsten Annahmen über die Systemumgebungen bereit, unter denen gewinnende Strategien existieren. Wir erweitern dies auf die kooperative Strategiesynthese, bei der mehrere Spieler zusammenarbeiten, um gemeinsam die Systemziele zu erreichen. Wir veranschaulichen diese Konzepte mit Beispielen aus dem autonomen Fahren. |
Literaturempfehlungen | Empfohlene Lektüre:
|
Links | |
Unterrichtssprache | Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | jährlich |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | 1VL + 1Ü |
Vorkenntnisse | keine |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 2 | SoSe oder WiSe | 28 | |
Übung | 2 | SoSe oder WiSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Am Ende der Vorlesungszeit |
Klausur oder mündliche Prüfung |