Markovization of Randomized Stopping Times
We study randomized stopping times for a Markov process, described by a progressively measurable intensity $\alpha_t(\omega)$. We prove that every admissible intensity has a Markovian representative $\lambda(t,X_t)$, explicitly obtained from the observed measure and the surviving occupation measure. This representative...