Verification-friendly Networks: the Case for Parametric ReLUs.

Francesco Leofante, Patrick Henriksen, Alessio Lomuscio

Browse the full IJCNN paper archive.