Reachability Analysis and Safety Verification for Neural Network Control Systems
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks