Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks

Jonas Stübbe, Anne Remke, Erika Ábrahám

This paper presents optimizations to improve the scalability of reachability analysis on a subclass of hybrid automata extended with stochasticity. The optimizations target differe…