An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.

Luca Pulina, Armando Tacchella

Browse the full CAV paper archive.