global robustness evaluation of deep neural networks with provable guarantees for l0 norm .
An approach to reachability analysis for feed-forward ReLU neural networks