The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks.

Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli

Browse the full IJCAI paper archive.