@misc{indiciaeb9f465a1703f,
  title = {Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives},
  author = {Yue Wang and Swarat Chaudhuri and Lydia E. Kavraki},
  year = {2018},
  url = {https://arxiv.org/abs/1801.09780},
  note = {Source identifier: 1801.09780}
}