17 citations · 32 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
Reachability Analysis of Neural Network Control Systems
Chi Zhang, Wenjie Ruan, Peipei Xu
Neural network controllers (NNCs) have shown great promise in autonomous and cyber-physical systems. Despite the various verification approaches for neural networks, the safety ana…
Towards Verifying the Geometric Robustness of Large-scale Neural Networks
Fu Wang, Peipei Xu, Wenjie Ruan +1
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric transformation. This paper aims to verify the robustness of large-scale DNNs against the combination…
Towards the Quantification of Safety Risks in Deep Neural Networks
Peipei Xu, Wenjie Ruan, Xiaowei Huang
Safety concerns on the deep neural networks (DNNs) have been raised when they are applied to critical sectors. In this paper, we define safety risks by requesting the alignment of…