Optimal stopping of controlled Markov processes