Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives☆
Under an Elsevier user license
open archive
Keywords
Average-case analysis
Büchi objectives
Markov decision processes (MDPs)
Random graphs
Cited by (0)
- ☆
A preliminary version appeared in the proceedings of 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2012. The research was supported by FWF Grant No. P 23499-N23, FWF NFN Grant No. S11407-N23 (RiSE), ERC Start Grant (279307: Graph Games), and the Microsoft Faculty Fellows Award. Nisarg Shah is also supported by NSF Grant CCF-1215883.
Copyright © 2015 Elsevier B.V. All rights reserved.