Software
1. Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes

M.S. Mohagheghi

Volume 7, Issue 1 , Winter and Spring 2019, , Pages 111-120

Abstract
  Probabilistic model checking is a formal approach for verifying qualitative and quantitative properties of probabilistic and stochastic systems. Discrete-time Markov chains and Markov decision processes (MDPs) are used to modeling this class of systems. Reachability probabilities and expected costs are ...  Read More