@misc{indiciae210eaf1eed08,
  title = {Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics},
  author = {Manish Prajapat and Johannes Köhler and Amon Lahr and Andreas Krause and Melanie N. Zeilinger},
  year = {2025},
  url = {https://arxiv.org/abs/2505.07594},
  note = {Source identifier: 2505.07594}
}