@misc{indiciae4b04a08c3e76,
  title = {Minimum Reachability Probabilities in Rectangular Automata with Random Clocks},
  author = {Joanna Delicaris and Erika Ábrahám and Anne Remke},
  year = {2026},
  url = {https://arxiv.org/abs/2604.24440},
  note = {Source identifier: 2604.24440}
}