Showing cs.SCShow all
2 papers · 1 filter
cs.SC2025
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…
cs.SC2022
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
Anne Remke, Dung Hoang Tran
The proceedings of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed contributions and three invited…