Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
Deployment of deep neural networks (DNNs) in safety-critical systems requires provable guarantees for their correct behaviours. We compute the maximal radius of a safe norm ball around a given input, within which there are no adversarial examples for a trained DNN. We define global robustness as an...
Những tác giả chính: | , , , , , |
---|---|
Định dạng: | Conference item |
Được phát hành: |
International Joint Conferences on Artificial Intelligence Organization
2019
|