4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 2 cited
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…
cs.LG2023★ 4 cited
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…