TY  - RPRT
TI  - Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives
AU  - Krishnendu Chatterjee
AU  - Monika Henzinger
AU  - Manas Joglekar
AU  - Nisarg Shah
PY  - 2014
UR  - https://arxiv.org/abs/1104.3348
ID  - 1104.3348
ER  -