D. Guidotti, “Verification and Repair of Neural Networks”, AAAI, vol. 35, no. 18, pp. 15714-15715, May 2021.