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

Open in new window