TY  - RPRT
TI  - Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives
AU  - Krishnendu Chatterjee
AU  - Manas Joglekar
AU  - Nisarg Shah
PY  - 2014
UR  - https://arxiv.org/abs/1202.4175
ID  - 1202.4175
ER  -