OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks

Keyphrases

• Deep Neural Network 100%
• Robustness Verification 100%
• Occlusion Robustness 100%
• Occlusion 75%
• Semantic Perturbations 25%
• NP-complete 12%
• Benchmark Dataset 12%
• Neural Network 12%
• Fool 12%
• Verification Problem 12%
• Acceleration Techniques 12%
• Neural Network Verification 12%
• Safety-critical Systems 12%
• Verification Tool 12%
• Verification Approaches 12%
• Neural Network Robustness 12%
• Extended Neural Network 12%

Computer Science

• Deep Neural Network 100%
• Neural Network 37%
• Experimental Result 12%
• Safety Critical Systems 12%