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