AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Thumbnail
Metadata only
Author
Gehr, Timon
Mirman, Matthew
Drachsler-Cohen, Dana
Tsankov, Petar
Chaudhuri, Swarat
Vechev, Martin
Show all
Date
2018
Type
    Conference Paper
Publication status
published
External links
Search via SFX
Book title
2018 IEEE Symposium on Security and Privacy (SP)
Pages / Article No.
3 - 18
Publisher
IEEE
Event
39th IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, May 21-23, 2018
Subject
Reliable Machine Learning; Robustness; Neural Networks; Abstract Interpretation
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
More
Show all metadata
Citations
Cited 5 times in Web of Science
Cited 48 times in Scopus
ETH Bibliography
yes
Altmetrics