TY - RPRT TI - Towards Safety Verification of Direct Perception Neural Networks AU - Chih-Hong Cheng AU - Chung-Hao Huang AU - Thomas Brunner AU - Vahid Hashemi PY - 2019 UR - https://arxiv.org/abs/1904.04706 ID - 1904.04706 ER -