Robustness guarantees for Bayesian inference with Gaussian processes

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 and require a characterization of the uncertainty associated with the learning model and formal guarantees on its predicti...

Full description

Bibliographic Details
Main Authors: Cardelli, L, Kwiatkowska, M, Laurenti, L, Patane, A
Format: Conference item
Published: AAAI Press 2019