- Titel:
Robustness verification of ReLU networks via quadratic programming
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Kuvshinov, Aleksei ; Günnemann, Stephan
- Stichworte:
- Article ; Special Issue of the ECML PKDD 2021 Journal Track ; Machine learning ; Robustness verification ; Neural networks ; Minimal adversarial perturbation ; Quadratic programming
- Zeitschriftentitel:
- Machine Learning
- Jahr:
- 2022
- Band / Volume:
- 111
- Heft / Issue:
- 7
- Seitenangaben Beitrag:
- 2407-2433
- Volltext / DOI:
- doi:10.1007/s10994-022-06132-9
- Verlag / Institution:
- Springer US
- E-ISSN:
- 0885-6125 ; 1573-0565
- Publikationsdatum:
- 16.03.2022
BibTeX
Login
