DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2015.01.050,1598,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives