Open AccessVerification and Repair of Neural Networks
Author(s) -
Dario Guidotti
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v35i18.17854
Subject(s) - software deployment , computer science , artificial neural network , reliability (semiconductor) , artificial intelligence , machine learning , computer security , software engineering , power (physics) , physics , quantum mechanics