@misc{indiciae731c518bdbee, title = {Safe Guaranteed Exploration for Non-linear Systems}, author = {Manish Prajapat and Johannes Köhler and Matteo Turchetta and Andreas Krause and Melanie N. Zeilinger}, year = {2025}, doi = {10.1109/tac.2025.3541577}, url = {https://arxiv.org/abs/2402.06562}, note = {Source identifier: 2402.06562} }