Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/aaai/KonigBHR23
%A König, Matthias
%A Bosman, Annelot W.
%A Hoos, Holger H.
%A van Rijn, Jan N.
%B SafeAI@AAAI
%D 2023
%E Pedroza, Gabriel
%E Huang, Xiaowei
%E Chen, Xin Cynthia
%E Theodorou, Andreas
%E Hernández-Orallo, José
%E Castillo-Effen, Mauricio
%E Mallah, Richard
%E McDermid, John A.
%I CEUR-WS.org
%K dblp
%T Critically Assessing the State of the Art in CPU-based Local Robustness Verification.
%U http://dblp.uni-trier.de/db/conf/aaai/safeai2023.html#KonigBHR23
%V 3381
@inproceedings{conf/aaai/KonigBHR23,
added-at = {2024-09-16T00:00:00.000+0200},
author = {König, Matthias and Bosman, Annelot W. and Hoos, Holger H. and van Rijn, Jan N.},
biburl = {https://www.bibsonomy.org/bibtex/2b31087a84bd42d8a03ceda9cfe2777cc/dblp},
booktitle = {SafeAI@AAAI},
crossref = {conf/aaai/2023safeai},
editor = {Pedroza, Gabriel and Huang, Xiaowei and Chen, Xin Cynthia and Theodorou, Andreas and Hernández-Orallo, José and Castillo-Effen, Mauricio and Mallah, Richard and McDermid, John A.},
ee = {https://ceur-ws.org/Vol-3381/25.pdf},
interhash = {17ac809a23cc137aadc7a10dd72e4d9d},
intrahash = {b31087a84bd42d8a03ceda9cfe2777cc},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-09-23T07:20:03.000+0200},
title = {Critically Assessing the State of the Art in CPU-based Local Robustness Verification.},
url = {http://dblp.uni-trier.de/db/conf/aaai/safeai2023.html#KonigBHR23},
volume = 3381,
year = 2023
}