Critically assessing the state of the art in CPU-based local robustness verification

Editor(s):
Pedroza, G.; Huang, X.; Chen, X.; Theodorou, A.; Hernandez-Orallo, J.; Castillo-Effen, M.; Mallah, R.; McDermid, J.
Trustworthy AI