Titel | Typ | Semester | Ort |
---|---|---|---|
Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 23/24 | |
Timed Systems | Vorlesung (V) | SS 2023 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Proseminar: Moralische Autonome Agenten | Proseminar (PS) | WS 23/24 | |
Proseminar Selbst-Erklärbarkeit von Software Systemen: AI trifft Theoretische Informatik | Proseminar (PS) | SS 2023 |