%0 Conference Paper %1 conf/sp/GehrMDTCV18 %A Gehr, Timon %A Mirman, Matthew %A Drachsler-Cohen, Dana %A Tsankov, Petar %A Chaudhuri, Swarat %A Vechev, Martin T. %B IEEE Symposium on Security and Privacy %D 2018 %I IEEE Computer Society %K dblp %P 3-18 %T AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/sp/sp2018.html#GehrMDTCV18 %@ 978-1-5386-4353-2

@inproceedings{conf/sp/GehrMDTCV18, added-at = {2023-03-24T00:00:00.000+0100}, author = {Gehr, Timon and Mirman, Matthew and Drachsler-Cohen, Dana and Tsankov, Petar and Chaudhuri, Swarat and Vechev, Martin T.}, biburl = {https://www.bibsonomy.org/bibtex/229e144dffc575f336d840b861b75e94a/dblp}, booktitle = {IEEE Symposium on Security and Privacy}, crossref = {conf/sp/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.2018.00058}, interhash = {01f120ee046035727cdd4b3da4060c1b}, intrahash = {29e144dffc575f336d840b861b75e94a}, isbn = {978-1-5386-4353-2}, keywords = {dblp}, pages = {3-18}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:09:23.000+0200}, title = {AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2018.html#GehrMDTCV18}, year = 2018 }