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