News archive

2023-04-24 Journal Paper: On the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective
2023-04-10 Conference Paper: Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
2023-02-24 Conference Paper: Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
2022-11-22 Journal Paper: Controlling timed automata against MTL specifications with TACoS
2022-08-27 Publication Chair @HSCC'22
2022-07-20 Journal Paper: Recent Developments in Theory and Tool Support for Hybrid Systems Verification with HyPro
2021-12-14 Best tool-paper award @SEFM'21
2021-12-03 New website online
2021-09-25 Paper @SEFM'21: TACoS