Formal Verification of CNN-based Perception Systems
Pattern recognition and machine learning