@misc{indiciaec688c65638d7,
  title = {Supervisor Synthesis of POMDP based on Automata Learning},
  author = {Xiaobin Zhang and Bo Wu and Hai Lin},
  year = {2017},
  url = {https://arxiv.org/abs/1703.08262},
  note = {Source identifier: 1703.08262}
}