Showing 2025Show all
3 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.LO2025
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…
eess.SY2025
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
Pauline Blohm, Felix Schulz, Lisa Willemsen +2
Simulink is widely used in industrial design processes to model increasingly complex embedded control systems. Thus, their formal analysis is highly desirable. However, this comes…