PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.

Haitham Khedr, James Ferlez, Yasser Shoukry

Browse the full CAV paper archive.