Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
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 to...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Rajaee Teacher Training University
2018-12-01
|
| Series: | Journal of Electrical and Computer Engineering Innovations |
| Subjects: | |
| Online Access: | https://jecei.sru.ac.ir/article_1197_6014d9eba8e24f7d7407de1da9e61cd1.pdf |