%0 Journal Article %1 journals/corr/ChatterjeeCGK14 %A Chatterjee, Krishnendu %A Chmelik, Martin %A Gupta, Raghav %A Kanodia, Ayush %D 2014 %J CoRR %K dblp %T Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. %U http://dblp.uni-trier.de/db/journals/corr/corr1409.html#ChatterjeeCGK14 %V abs/1409.3360

@article{journals/corr/ChatterjeeCGK14, added-at = {2018-08-13T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Chmelik, Martin and Gupta, Raghav and Kanodia, Ayush}, biburl = {https://www.bibsonomy.org/bibtex/26402ee95492f8213a9cbe315750e5a04/dblp}, ee = {http://arxiv.org/abs/1409.3360}, interhash = {db971ce5b1dcd87959a23456332ef347}, intrahash = {6402ee95492f8213a9cbe315750e5a04}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:50:45.000+0200}, title = {Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1409.html#ChatterjeeCGK14}, volume = {abs/1409.3360}, year = 2014 }