@article{boundedpolicysynthesisforpomdpswithsafe,
  title = {Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives},
  author = {Yue Wang and Swarat Chaudhuri and Lydia E. Kavraki},
  year = {2018},
  eprint = {1801.09780},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1801.09780v2},
}