Formal Verification of CNN-based Perception Systems
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks