Title | Type | Semester | Place |
---|---|---|---|
Timed Systems | Vorlesung (V) | SS 2023 | |
Timed Systems | Vorlesung (V) | SS 2023 |
Title | Type | Semester | Place |
---|---|---|---|
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 |