@misc{indiciae0d975acb612e,
  title = {Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications},
  author = {Krishnendu Chatterjee and Martin Chmelík and Raghav Gupta and Ayush Kanodia},
  year = {2015},
  url = {https://arxiv.org/abs/1409.3360},
  note = {Source identifier: 1409.3360}
}