@article{counterexampleguidedsynthesisofperceptio,
  title = {Counterexample-Guided Synthesis of Perception Models and Control},
  author = {Shromona Ghosh and Yash Vardhan Pant and Hadi Ravanbakhsh and Sanjit A. Seshia},
  year = {2019},
  eprint = {1911.01523},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1911.01523v3},
}