4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…