Safety Verification for Neural Networks Based on Set-boundary Analysis

Zhen Liang, Dejin Ren, Wanwei Liu +3

Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their beha…