What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives (bibtex)
by Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
Reference:
What is Decidable about Partially Observable Markov Decision Processes with omega-Regular ObjectivesKrishnendu Chatterjee, Martin Chmelik, Mathieu TracolComputer Science Logic 2013 (CSL 2013), volume 23 of LIPIcs, pages 165-180, 2013, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
Bibtex Entry:
@inproceedings{CCT13,
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-60-6},
title = {What is Decidable about Partially Observable Markov Decision Processes
with omega-Regular Objectives},
ee = {http://dx.doi.org/10.4230/LIPIcs.CSL.2013.165},
series = {LIPIcs},
booktitle = {Computer Science Logic 2013 (CSL 2013)},
author = {Krishnendu Chatterjee and Martin Chmelik and Mathieu Tracol},
volume = {23},
url = {http://arxiv.org/pdf/1309.2802},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {165-180},
}
Powered by bibtexbrowser