Neural Network Repair with Reachability Analysis

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran +3

Safety is a critical concern for the next generation of autonomy that is likely to rely heavily on deep neural networks for perception and control. Formally verifying the safety an…