TY  - RPRT
TI  - Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
AU  - Chiao Hsieh
AU  - Keyur Joshi
AU  - Sasa Misailovic
AU  - Sayan Mitra
PY  - 2021
DO  - 10.1109/tcad.2022.3197508
UR  - https://arxiv.org/abs/2111.05534
ID  - 2111.05534
ER  -