Sotabase

Career

· Assoc. Prof., TU Clausthal

Publications (5)

Formalizing and guaranteeing human-robot interaction
Communications of the ACM · 2020
39
cited
Risk-Averse $\omega$-regular Markov Decision Process Control
2016
SAFE-10-T: Safety of transport infrastructure on the TEN-T network
2018
Synthesizing Transducers from Complex Specifications
Formal Methods in Computer-Aided Design · 2022
Sotabase
Ruediger Ehlers | Researcher Profile | Sotabase | Sotabase