@article{refiningperceptioncontractscasestudiesin,
  title = {Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing},
  author = {Yangge Li and Benjamin C Yang and Yixuan Jia and Daniel Zhuang and Sayan Mitra},
  year = {2023},
  eprint = {2311.08652},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2311.08652v1},
}