6 citations · 8 across the 4 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…