Login
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
1 Summary
Gehr, Timon and
Mirman, Matthew and
Drachsler-Cohen, Dana and
Tsankov, Petar and
Chaudhuri, Swarat and
Vechev, Martin T.
IEEE Computer Society IEEE Symposium on Security and Privacy - 2018
via Local Bibsonomy
Keywords:
dblp
ShortScience.org allows researchers to publish paper summaries that are voted on and ranked!
About
Sponsored by: