Welcome
Welcome to my webpage. Here you can find information about me and my research, publications as well as ongoing and past projects and more.
Posts
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