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