(1)
Cardelli, L.; Kwiatkowska, M.; Laurenti, L.; Patane, A. Robustness Guarantees for Bayesian Inference With Gaussian Processes. AAAI 2019, 33, 7759-7768.