Incremental Verification of Neural Networks

Shubham Ugare, Debangshu Banerjee, Sasa Misailovic +1

Complete verification of deep neural networks (DNNs) can exactly determine whether the DNN satisfies a desired trustworthy property (e.g., robustness, fairness) on an infinite set…