@misc{indiciae2a1dda5bcdf9, title = {Bayesian Optimisation with Formal Guarantees}, author = {Franz Brauße and Zurab Khasidashvili and Konstantin Korovin}, year = {2021}, url = {https://arxiv.org/abs/2106.06067}, note = {Source identifier: 2106.06067} }