Text this: Markov decision processes with continuous time parameter /