| Title | Type | Semester | Place |
|---|---|---|---|
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 25/26 | |
| Proseminar How are LLMs changing the world? | Proseminar (PS) | WS 25/26 |
| Title | Type | Semester | Place |
|---|---|---|---|
| Software development practice (PSE) | Praktikum (P) | WS 25/26 |
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 |
|---|---|---|---|
| Translation of an Abstract Urban Traffic Model to an instance of Hybrid Games with Triggers | Bachelorarbeit | ||
| Bounding Clock Copies in One-Clock Alternating Timed Tree Automata | Masterarbeit | ||
| Game-Theoretic Semantics for Strategy Logic | Masterarbeit | ||
| A Formal Classification of Physical Risks in Autonomous Vehicle Traffic | Masterarbeit | ||
| A study of relevant factors for the development of multimodal explanations | Masterarbeit |