Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Krishnendu Chatterjee, Martin Chmelik, and Mathieu Tracol. What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 165-180, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{chatterjee_et_al:LIPIcs.CSL.2013.165, author = {Chatterjee, Krishnendu and Chmelik, Martin and Tracol, Mathieu}, title = {{What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {165--180}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.165}, URN = {urn:nbn:de:0030-drops-41962}, doi = {10.4230/LIPIcs.CSL.2013.165}, annote = {Keywords: POMDPs, Omega-regular objectives, Parity objectives, Qualitative analysis} }
Feedback for Dagstuhl Publishing