(MA) Automatisierte Pfadgenerierung für die Roboterlackierung

(Team Project/Individual Project (6CP)) Model Checking – Build your own solver / Project or Thesis Preparation

(Bachelorthesis) Formalising Simulink discrete Automata

(Software Project/FIN-SMK) Managing and Visualising Satellite Orbital Data

(Softwareprojekt/FIN-SMK) Evaluating the use of a formally verified micro kernel for mission-critical software

(BA/MA) Deep Learning based Anomaly Detection using Ensembles