most citedCombining Symbolic Execution and Model Checking to Verify MPI Programs

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2018

Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel

Chengdong Feng, Zhenbang Chen, Weijiang Hong +3

Deep Neural Network (DNN) is a widely used deep learning technique. How to ensure the safety of DNN-based system is a critical problem for the research and application of DNN. Robu…