@misc{indiciaeaf52fe0edfd1,
  title = {Counterexample-guided Abstraction Refinement for POMDPs},
  author = {Xiaobin Zhang and Bo Wu and Hai Lin},
  year = {2017},
  url = {https://arxiv.org/abs/1701.06209},
  note = {Source identifier: 1701.06209}
}