AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Publication status
publishedExternal links
Book title
2018 IEEE Symposium on Security and Privacy (SP)Pages / Article No.
Publisher
IEEEEvent
Subject
Reliable Machine Learning; Robustness; Neural Networks; Abstract InterpretationOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata