@misc{indiciae3dc0e84d785a,
  title = {Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks},
  author = {Jonas Stübbe and Anne Remke and Erika Ábrahám},
  year = {2025},
  url = {https://arxiv.org/abs/2508.19795},
  note = {Source identifier: 2508.19795}
}