TY - RPRT TI - Bayesian Optimisation with Formal Guarantees AU - Franz Brauße AU - Zurab Khasidashvili AU - Konstantin Korovin PY - 2021 UR - https://arxiv.org/abs/2106.06067 ID - 2106.06067 ER -