We have multiple running 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 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.
Efficient Robot Controller Engineering with Reactive Synthesis Part of the Institutional Strategy of the University of Bremen, Funded by the German Excellence Initiative