%0 Conference Paper %1 conf/aaai/KonigBHR23 %A König, Matthias %A Bosman, Annelot %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 = {2023-09-14T00:00:00.000+0200}, author = {König, Matthias and Bosman, Annelot and Hoos, Holger H. and van Rijn, Jan N.}, biburl = {https://www.bibsonomy.org/bibtex/20776d13d80299ed6a38602e465ebd0d1/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 = {0776d13d80299ed6a38602e465ebd0d1}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:15:06.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 }