| Title | Type | Semester |
|---|---|---|
| Timed Systems | Vorlesung (V) | SS 2023 |
| Timed Systems | Vorlesung (V) | SS 2023 |
| Title | Type | Semester |
|---|---|---|
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 23/24 |
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 24/25 |
| Proseminar Explainable Autonomous Agents | Proseminar (PS) | WS 24/25 |
| Proseminar Self-Explanability of Software Systems: AI meets theoretical computer science | Proseminar (PS) | SS 2023 |
| Proseminar: Moral Autonomous Agents | Proseminar (PS) | WS 23/24 |
| Title | Subject | Supervisor |
|---|---|---|
| Multimodal Explanations for Explainable AI: An Empirical Study of Text-Video Combinations on End-User Understandability | XAI |
| Titel | Typ |
|---|---|
| Evaluation of Strategies with Reachability Winning Condition | Bachelorarbeit |
| Erklärbare regelbasierte ”Follow-Me“-Funktion am Beispiel des JetRacer | Bachelorarbeit |
| Leaving the Rectangular World of Traffic Sequence Charts | Masterarbeit |