Towards Safety Verification of Direct Perception Neural Networks

Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner +1

We study the problem of safety verification of direct perception neural networks, where camera images are used as inputs to produce high-level features for autonomous vehicles to m…