Login / Signup

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

Krishnendu ChatterjeeManas JoglekarNisarg Shah
Published in: Theor. Comput. Sci. (2015)
Keyphrases