Output Reachable Set Estimation and Verification for Multilayer Neural Networks
An abstraction-refinement approach to verification of artificial neural networks