Robustness Verification of Classification Deep Neural Networks via Linear Programming | IEEE Conference Publication | IEEE Xplore