An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.

Matan Ostrovsky, Clark W. Barrett, Guy Katz

Browse the full ATVA paper archive.