Model-Agnostic Reachability Analysis on Deep Neural Networks

Chi Zhang, Wenjie Ruan, Fu Wang +3

Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Net…