%0 Conference Paper %1 conf/csl/ChatterjeeCT13 %A Chatterjee, Krishnendu %A Chmelik, Martin %A Tracol, Mathieu %B CSL %D 2013 %E Rocca, Simona Ronchi Della %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 165-180 %T What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. %U http://dblp.uni-trier.de/db/conf/csl/csl2013.html#ChatterjeeCT13 %V 23 %@ 978-3-939897-60-6

@inproceedings{conf/csl/ChatterjeeCT13, added-at = {2018-08-23T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Chmelik, Martin and Tracol, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/23cd38a9e20ebddd537ac23a54043d091/dblp}, booktitle = {CSL}, crossref = {conf/csl/2013}, editor = {Rocca, Simona Ronchi Della}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2013.165}, interhash = {36038683c7b64a1d8881c92823831f18}, intrahash = {3cd38a9e20ebddd537ac23a54043d091}, isbn = {978-3-939897-60-6}, keywords = {dblp}, pages = {165-180}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:49:45.000+0200}, title = {What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2013.html#ChatterjeeCT13}, volume = 23, year = 2013 }