@misc{indiciaedc2c66468a5b,
  title = {Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions},
  author = {Chiao Hsieh and Keyur Joshi and Sasa Misailovic and Sayan Mitra},
  year = {2021},
  doi = {10.1109/tcad.2022.3197508},
  url = {https://arxiv.org/abs/2111.05534},
  note = {Source identifier: 2111.05534}
}