Continuous-time Markov Decision Processes by