_id,doi,title
1598,10.1016/j.tcs.2015.01.050,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives