An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks

Keyphrases

• Abstraction Refinement 100%
• Convolutional Neural Network 100%
• Excellent Performance 33%
• Misclassification Error 33%
• Original Problem 33%
• Erroneous Result 33%
• Verification Problem 33%
• Under-approximation 33%
• Convolutional 33%
• Neural Network Verification 33%
• Computer Vision & Image Processing 33%

Computer Science

• Convolutional Neural Network 100%
• Approximation (Algorithm) 33%
• Image Processing 33%
• Classification Error 33%
• Deep Neural Network 33%
• Computer Vision 33%