Guaranteed Coverage Prediction Intervals With Gaussian Process Regression | IEEE Journals & Magazine | IEEE Xplore