Login / Signup

Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.

Krishnendu ChatterjeeManas JoglekarNisarg Shah
Published in: FSTTCS (2012)
Keyphrases