Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives (bibtex)
by Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah
Reference:
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi ObjectivesKrishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg ShahCAV, pages 260-276, 2011.
Bibtex Entry:
@inproceedings{CHJS11,
title = {Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes
with B{\"u}chi Objectives},
ee = {http://dx.doi.org/10.1007/978-3-642-22110-1_21},
booktitle = {CAV},
author = {Krishnendu Chatterjee and Monika Henzinger and Manas Joglekar and
Nisarg Shah},
url = {http://arxiv.org/pdf/1104.3348},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {260-276},
crossref = {DBLP:conf/cav/2011},
}
Powered by bibtexbrowser