Bayesian Optimisation with Formal Guarantees
  Application domains of Bayesian optimization include optimizing black-box
  functions or very complex functions. The functions we are interested in
describe
  complex real-world systems applied in industrial settings. Even though
  they do have explicit representations, standard optimization
  techniques fail to provide validated solutions and correctness
  guarantees for them.
  In this paper we present a combination of Bayesian optimisation and SMT-based
constraint solving to achieve safe and stable solutions with optimality
guarantees.
