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...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Cardelli, L, Kwiatkowska, M, Laurenti, L, Patane, A
التنسيق: Conference item
منشور في: AAAI Press 2019