Tightened Convex Relaxations for Neural Network Robustness Certification | IEEE Conference Publication | IEEE Xplore