Login
- Title:
Robustness verification of ReLU networks via quadratic programming
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Kuvshinov, Aleksei ; Günnemann, Stephan
- Keywords:
- Article ; Special Issue of the ECML PKDD 2021 Journal Track ; Machine learning ; Robustness verification ; Neural networks ; Minimal adversarial perturbation ; Quadratic programming
- Journal title:
- Machine Learning
- Year:
- 2022
- Journal volume:
- 111
- Journal issue:
- 7
- Pages contribution:
- 2407-2433
- Fulltext / DOI:
- doi:10.1007/s10994-022-06132-9
- Publisher:
- Springer US
- E-ISSN:
- 0885-6125 ; 1573-0565
- Date of publication:
- 16.03.2022
BibTeX
Occurrences: