TY  - RPRT
TI  - PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier
AU  - Haitham Khedr
AU  - James Ferlez
AU  - Yasser Shoukry
PY  - 2021
UR  - https://arxiv.org/abs/2006.10864
ID  - 2006.10864
ER  -