##article.return## Verifying rich robustness properties for neural networks Download Download PDF