Optimal stopping of Markov processes: Hilbert space theory, approximation algorithms, and an application to pricing high-dimensional financial derivatives | IEEE Journals & Magazine | IEEE Xplore