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 113-122

http://dx.doi.org/10.22061/jecei.2020.5395.216

Abstract
  Background and Objectives: Numerical iterative methods are widely used to compute reachability probabilities and expected rewards in probabilistic model checking of Markov decision processes. Several approaches have been proposed to improve the performance of these iterative methods. Reducing the total ...  Read More