TY  - RPRT
TI  - Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
AU  - Manish Prajapat
AU  - Johannes Köhler
AU  - Amon Lahr
AU  - Andreas Krause
AU  - Melanie N. Zeilinger
PY  - 2025
UR  - https://arxiv.org/abs/2505.07594
ID  - 2505.07594
ER  -