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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom