Gehr, Mirman, Drachsler-Cohen, Tsankov, Chaudhuri, Vechev, 2018. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation, in: . IEEE.. https://doi.org/10.1109/sp.2018.00058