Maximum Resilience of Artificial Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks