1 citations · 1 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen Liang, Taoran Wu, Ran Zhao +5
Recently, formal verification of deep neural networks (DNNs) has garnered considerable attention, and over-approximation based methods have become popular due to their effectivenes…
cs.AI2022
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…