@misc{indiciaeda93ff1bed94,
  title = {Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks},
  author = {Joanna Delicaris and Stefan Schupp and Erika Ábrahám and Anne Remke},
  year = {2023},
  url = {https://arxiv.org/abs/2304.14996},
  note = {Source identifier: 2304.14996}
}