Guidotti, D. 2021. Verification and Repair of Neural Networks. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 18 (May 2021), 15714-15715. DOI:https://doi.org/10.1609/aaai.v35i18.17854.