Past

Continuous-time Markov decision processes and pure jump processes