Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3642376

Documents

In Collections

This item can be found in the following collections:

König, H.M.T.; Bosman, A.W.; Hoos, H.H.; Rijn, J.N. van (2023)

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

Article in monograph or in proceedings
Trustworthy AI
All authors
König, H.M.T.; Bosman, A.W.; Hoos, H.H.; Rijn, J.N. van
Editor(s)
Pedroza, G.; Huang, X.; Chen, X.; Theodorou, A.; Hernandez-Orallo, J.; Castillo-Effen, M.; Mallah, R.; McDermid, J.
Date
2023
Title of host publication
CEUR Workshop Proceedings; Proceedings of the workshop on artificial intelligence safety 2023 (SafeAI 2023)

Publication Series

Name
3381

Conference

Conference
SafeAI 2023: Workshop on Artificial Intelligence Safety
Date
2023-02-13 - 2023-02-14
Location
Washington, United States of America