Toward Scalable Verification for Safety-Critical Deep Networks
An abstraction-refinement approach to verification of artificial neural networks