www.prismmodelchecker.org
[MS20] MohammadSadegh Mohagheghi and Khayyam Salehi. Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes. In Proc. 15th International Conference on Software Technologies (ICSOFT'20), pages 39-50. 2020. [Proposes efficient iterative methods for solving Markov decision processes, implemented as an extension of PRISM. ]
Links: [Google] [Google Scholar]

Publications