Value Iteration with Guessing for Markov Chains and Markov Decision Processes.

Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda

Browse the full TACAS paper archive.