SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks.

Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar

Browse the full ICASSP paper archive.