The efficient and accurate characterization of the robustness of neural networks to input perturbation is an important open problem. Many approaches exist including heuristic and exact (or complete) methods. Complete methods are expensive but their mathem
Zsolt János Viharos
Kis K B
Fodor Á
Büki M Á