Verifying rich robustness properties for neural networks

Open in new window