Robustness Guarantees for Bayesian Inference with Gaussian Processes

Luca Cardelli, Marta Kwiatkowska, Luca Laurenti +1

Bayesian inference and Gaussian processes are widely used in applications ranging from robotics and control to biological systems. Many of these applications are safety-critical an…