AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation | IEEE Conference Publication | IEEE Xplore