TY  - RPRT
TI  - Value Iteration with Guessing for Markov Chains and Markov Decision Processes
AU  - Krishnendu Chatterjee
AU  - Mahdi JafariRaviz
AU  - Raimundo Saona
AU  - Jakub Svoboda
PY  - 2025
DO  - 10.1007/978-3-031-90653-4_11
UR  - https://arxiv.org/abs/2505.06769
ID  - 2505.06769
ER  -