Cardelli, Luca, Marta Kwiatkowska, Luca Laurenti, and Andrea Patane. 2019. “Robustness Guarantees for Bayesian Inference With Gaussian Processes”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):7759-68. https://doi.org/10.1609/aaai.v33i01.33017759.