Formal Verification of CNN-based Perception Systems
A Dual Approach to Scalable Verification of Deep Networks