DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.FSTTCS.2012.461,2715,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives