%0 Conference Paper %1 conf/vecos/LopezJ23 %A Lopez, Diego Manzanas %A Johnson, Taylor T. %B AISoLA %D 2023 %E Steffen, Bernhard %I Springer %K dblp %P 331-347 %T Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. %U http://dblp.uni-trier.de/db/conf/aisola/aisola2023.html#LopezJ23 %V 14380 %@ 978-3-031-46002-9

@inproceedings{conf/vecos/LopezJ23, added-at = {2024-01-07T00:00:00.000+0100}, author = {Lopez, Diego Manzanas and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/284f6db73b074df256db83481ef0ae1e9/dblp}, booktitle = {AISoLA}, crossref = {conf/aisola/2023}, editor = {Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-46002-9_21}, interhash = {ac7bfac020c997fc88f8221497771bb4}, intrahash = {84f6db73b074df256db83481ef0ae1e9}, isbn = {978-3-031-46002-9}, keywords = {dblp}, pages = {331-347}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:22:01.000+0200}, title = {Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers.}, url = {http://dblp.uni-trier.de/db/conf/aisola/aisola2023.html#LopezJ23}, volume = 14380, year = 2023 }