L. Cardelli, M. Kwiatkowska, L. Laurenti, and A. Patane, “Robustness Guarantees for Bayesian Inference with Gaussian Processes”, AAAI, vol. 33, no. 01, pp. 7759-7768, Jul. 2019.