@misc{indiciaebfc62cfb3324,
  title = {Verification of Uncertain POMDPs Using Barrier Certificates},
  author = {Mohamadreza Ahmadi and Murat Cubuktepe and Nils Jansen and Ufuk Topcu},
  year = {2018},
  url = {https://arxiv.org/abs/1807.03823},
  note = {Source identifier: 1807.03823}
}