Formal Verification of CNN-based Perception Systems
Safety Verification of Deep Neural Networks