Table 2: Repair of ACAS Xu neural network controllers. Veritex successfully repairs all 35 unsafe networks with little accuracy degradation. -------------------------------------------------------------------------- Methods Repair Successe Min Accu. Mean Accu. Max Accu. -------------------------------------------------------------------------- Veritex 33/33 98.74% 99.72% 100.00% ART 32/33 88.12% 94.47% 98.00% ART-refinement 33/33 89.70% 95.99% 98.76% -------------------------------------------------------------------------- Table 3: Running time (sec) of Veritex and ART. Veritex shows a higher efficiency than ART-refinement in most of the instances. -------------------------------------------------------------------------- Methods Min Mean Time Max Time (N19) Time (N29) -------------------------------------------------------------------------- Veritex 5.13 49.89 154.35 -- -- ART 26.64 28.96 42.32 -- -- ART-refinement 43.24 44.66 47.99 -- -- --------------------------------------------------------------------------