Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives

From MaRDI portal