Văn bản này: Markov decision processes with continuous time parameter /