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
More
Show all metadata
Citations
Cited 0 times in Web of Science
ETH Bibliography
yes
Altmetrics