We worked on multiple research projects in the Modelling of Technical Systems group that span a variety of topics in formal methods, soft- and hardware
engineering, automata theory, and artificial intelligence.
Running and completed projects:
GUISynth - Reactive Synthesis of Graphical User Interface Program Code
Funded by the German Science Foundation (DFG)
SAFE-10-T - Safety of trAnsport inFrastructurE on the TEN-T network}
Funded by the European Commission under the Horizon 2020 program.