%0 Journal Article %1 journals/corr/abs-1710-00675 %A Chatterjee, Krishnendu %A Chmelik, Martin %A Topcu, Ufuk %D 2017 %J CoRR %K dblp %T Sensor Synthesis for POMDPs with Reachability Objectives. %U http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-00675 %V abs/1710.00675

@article{journals/corr/abs-1710-00675, added-at = {2018-08-13T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Chmelik, Martin and Topcu, Ufuk}, biburl = {https://www.bibsonomy.org/bibtex/2c572f1217cc5e14729277bf1e173a3f8/dblp}, ee = {http://arxiv.org/abs/1710.00675}, interhash = {230b45080d378708ae7f687a1708721f}, intrahash = {c572f1217cc5e14729277bf1e173a3f8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:48:32.000+0200}, title = {Sensor Synthesis for POMDPs with Reachability Objectives.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-00675}, volume = {abs/1710.00675}, year = 2017 }