A bound on the probability that a Gaussian process exceeds a given function (Corresp.) | IEEE Journals & Magazine | IEEE Xplore