Improving modified policy iteration for probabilistic model checking

MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh. Improving modified policy iteration for probabilistic model checking. Computer Science (AGH), 23(1), 2022. [doi]

Abstract

Abstract is missing.