News archive
- Journal Paper: On the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective
- Conference Paper: Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
- Conference Paper: Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
- Journal Paper: Controlling timed automata against MTL specifications with TACoS
- Publication Chair @HSCC'22
- Journal Paper: Recent Developments in Theory and Tool Support for Hybrid Systems Verification with HyPro
- Best tool-paper award @SEFM'21
- New website online
- Paper @SEFM'21: TACoS