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

Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang

Browse the full TACAS paper archive.