Towards Safety Verification of Direct Perception Neural Networks.

Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi

Browse the full DATE paper archive.