| Title | Type | Semester |
|---|---|---|
| Timed Systems | Vorlesung (V) | SS 2025 |
| Timed Systems | Lecture (V) | SS 2024 |
| Timed Systems | Vorlesung (V) | SS 2023 |
| Title | Type | Semester |
|---|---|---|
| Proseminar Explainable Autonomous Agents | Proseminar (PS) | WS 24/25 |
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 24/25 |
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 23/24 |
| Proseminar: Moral Autonomous Agents | Proseminar (PS) | WS 23/24 |
| Proseminar Self-Explanability of Software Systems: AI meets theoretical computer science | Proseminar (PS) | SS 2023 |
Final theses
If you are interested in writing your Bachelor's or Master's thesis with us, please contact us by e-mail. We always have a variety of topics in mind and would be happy to discuss suitable topics with you. The following list is just a sample of topics:
| Titel | Typ | Subject | Supervisor |
|---|---|---|---|
| Evaluation Metrics for Faithfulness in Imagination-Based Explanations | Bachelorarbeit | XAI | Nils Wenninghoff |
| Evaluation of World Models for Counterfactual Trajectory generation and State Importance measurements in World-Model-Based Reinforcement Learning | Masterarbeit | XAI | Nils Wenninghoff |
| Multimodal Explanations for Explainable AI: An Empirical Study of Text-Video Combinations on End-User Understandability | Masterarbeit | XAI | |
| Evaluation of Strategies with Reachability Winning Condition | Bachelorarbeit | ||
| Leaving the Rectangular World of Traffic Sequence Charts | Masterarbeit |