Login / Signup
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.
Timon Gehr
Matthew Mirman
Dana Drachsler-Cohen
Petar Tsankov
Swarat Chaudhuri
Martin T. Vechev
Published in:
IEEE Symposium on Security and Privacy (2018)
Keyphrases
</>
neural network
abstract interpretation
termination analysis
artificial intelligence
static analysis
model checking
active rules
knowledge representation
database systems
expert systems
query processing
management system