TY  - RPRT
TI  - Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
AU  - Jonas Stübbe
AU  - Anne Remke
AU  - Erika Ábrahám
PY  - 2025
UR  - https://arxiv.org/abs/2508.19795
ID  - 2508.19795
ER  -