On the tightness of linear relaxation based robustness certification methods

Open in new window