_id,doi,title 2715,10.4230/LIPIcs.FSTTCS.2012.461,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives