TY  - RPRT
TI  - Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)
AU  - Pedro R. D'Argenio
AU  - Arnd Hartmanns
AU  - Annabell Petri
PY  - 2026
UR  - https://arxiv.org/abs/2607.00782
ID  - 2607.00782
ER  -