F. Fu, “REGLO: Provable Neural Network Repair for Global Robustness Properties”, AAAI, vol. 38, no. 11, pp. 12061-12071, Mar. 2024.