A bound on the probability that a Gaussian process exceeds a given function (Corresp.)

An upper bound is calculated for the probability that a mean-zero Gaussian random process remains above a specified signal throughout a prescribed interval of time.