Guidotti, D. Verification and Repair of Neural Networks. AAAI 2021, 35, 15714-15715.