Verification of Neural Networks’ Global Robustness
Abstract
References
Index Terms
- Verification of Neural Networks’ Global Robustness
Recommendations
Deep Learning Robustness Verification for Few-Pixel Attacks
While successful, neural networks have been shown to be vulnerable to adversarial example attacks. In L0 adversarial attacks, also known as few-pixel attacks, the attacker picks t pixels from the image and arbitrarily perturbs them. To understand the ...
Local and global robustness with q-step delay for max-plus linear systems
AbstractThis paper studies the local and global robustness with q-step delay of max-plus linear systems, which requires part or all components of the state vectors remain unchanged under the bounded parameter perturbations after a finite number of steps. ...
Robustness Verification for Classifier Ensembles
Automated Technology for Verification and AnalysisAbstractWe give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic attacks and a distribution over this set. The robustness-checking ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Israel Science Foundation
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 151Total Downloads
- Downloads (Last 12 months)151
- Downloads (Last 6 weeks)47
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in