Fiedler, C.; Scherer, C. W.; Trimpe, S. Practical and Rigorous Uncertainty Bounds for Gaussian Process Regression. AAAI 2021, 35, 7439-7447.