6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Zhiyi Xue, Si Liu, Zhaodi Zhang +2
The robustness of deep neural networks (DNNs) is crucial to the hosting system's reliability and security. Formal verification has been demonstrated to be effective in providing pr…