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:

Open thesis topics
Title	Subject	Supervisor

Ongoing final work
Titel	Typ	Supervisor
A Formal Classification of Physical Risks in Autonomous Vehicle Traffic	Masterarbeit	Akhila Bairy
Bounding Clock Copies in One-Clock Alternating Timed Tree Automata	Masterarbeit	Qais Hamarneh
Game-Theoretic Semantics for Strategy Logic	Masterarbeit	Qais Hamarneh
Translation of an Abstract Urban Traffic Model to an instance of Hybrid Games with Triggers	Bachelorarbeit	Qais Hamarneh
A study of relevant factors for the development of multimodal explanations	Masterarbeit	Akhila Bairy

Completed theses
Titel	Typ
Collaborative Robot for Actuating Vehicle Control Elements for Test Bench Experiments at the ViL	Masterarbeit
Analysis of UMLSL Application to Mixed Light Rail and Automotive Traffic Systems	Bachelorarbeit
Verbesserung von DreamerV3 durch Counterfactual Failure Recovery und Nachtraining	Bachelorarbeit
Introspective Explanations for Mamba: Evaluation in Comparison to Dreamer	Bachelorarbeit
Multimodal Explanations for Explainable AI: An Empirical Study of Text-Video Combinations on End-User Understandability	Masterarbeit
Evaluation Metrics for Faithfulness in Imagination-Based Explanations	Bachelorarbeit
Formalizing and Classifying Conflicts for Autonomous Driving	Masterarbeit
Evaluation of World Models for Counterfactual Trajectory generation and State Importance measurements in World-Model-Based Reinforcement Learning	Masterarbeit
Evaluation of Strategies with Reachability Winning Condition	Bachelorarbeit
Validation of the MAB-EX Framework through Requirements Analysis and a Case Study	Bachelorarbeit
Entwicklung eines Fahrerleitgeräts für Testfahrer am Gesamtfahrzeugprüfstand	Bachelorarbeit
Leaving the Rectangular World of Traffic Sequence Charts	Masterarbeit
Erklärbare regelbasierte ”Follow-Me“-Funktion am Beispiel des JetRacer	Bachelorarbeit
Investigation on How to Deal with Misbehavior of the Cooperation Vehicles	Bachelorarbeit
Development of an application-specific language for the representation and validation of control and safety technology rules	Bachelorarbeit
An Analytical Review of Local Explanations for Model-Free Deep Reinforcement Learning	Bachelorarbeit