Reed, R.; Laurenti, L.; Lahijanian, M. Error Bounds for Gaussian Process Regression Under Bounded Support Noise With Applications to Safety Certification. AAAI 2025, 39, 20157-20164.