Optimally Stopping a Gauss-Markov process with random terminal value

With Bernardo D’Auria.