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

From MaRDI portal
(Redirected from Publication:2257302)