Miscellaneous Theoretical Foundations GoSafeOpt: Scalable Safe Exploration for Global Optimization of Dynamical Systems Matteo Turchetta David Lindner Andreas Krause Sebastian Trimpe Dominik Baumann DOI