Risk Probability Minimization Problems for Continuous-Time Markov Decision Processes on Finite Horizon | IEEE Journals & Magazine | IEEE Xplore