TY - RPRT TI - Safe Guaranteed Exploration for Non-linear Systems AU - Manish Prajapat AU - Johannes Köhler AU - Matteo Turchetta AU - Andreas Krause AU - Melanie N. Zeilinger PY - 2025 DO - 10.1109/tac.2025.3541577 UR - https://arxiv.org/abs/2402.06562 ID - 2402.06562 ER -