Open AccessIntroduction to Neural Network Verification
Author(s) -
Aws Albarghouthi
Publication year - 2021
Publication title -
foundations and trends in programming languages
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 1.272
H-Index - 9
eISSN - 2325-1131
pISSN - 2325-1107
DOI - 10.1561/2500000051
Subject(s) - artificial neural network , computer science , artificial intelligence