| Titel | Typ | Semester | Ort |
|---|---|---|---|
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 25/26 | |
| Proseminar Wie verändern LLMs die Welt? | Proseminar (PS) | WS 25/26 |
Abschlussarbeiten
Wenn Sie Interesse an einer Bachelor- oder Masterarbeit bei uns haben, nehmen Sie bitte per Mail Kontakt mit uns auf. Wir haben immer eine Vielzahl von Themen im Kopf und diskutieren gerne mit Ihnen über geeignete Themen. Die folgende Liste ist nur eine beispielhafte Auflistung von Themen:
| Titel | Typ | Forschungsthema | Betreuung |
|---|---|---|---|
| A Formal Classification of Physical Risks in Autonomous Vehicle Traffic | Masterarbeit | ||
| Bounding Clock Copies in One-Clock Alternating Timed Tree Automata | Masterarbeit | ||
| Game-Theoretic Semantics for Strategy Logic | Masterarbeit | ||
| Translation of an Abstract Urban Traffic Model to an instance of Hybrid Games with Triggers | Bachelorarbeit | ||
| A study of relevant factors for the development of multimodal explanations | Masterarbeit |