%0 Conference Paper %1 conf/cav/LeinoFMFPP22 %A Leino, Klas %A Fromherz, Aymeric %A Mangal, Ravi %A Fredrikson, Matt %A Parno, Bryan %A Pasareanu, Corina S. %B NSV/FoMLAS@CAV %D 2022 %E Isac, Omri %E Ivanov, Radoslav %E Katz, Guy %E Narodytska, Nina %E Nenzi, Laura %I Springer %K dblp %P 96-130 %T Self-correcting Neural Networks for Safe Classification. %U http://dblp.uni-trier.de/db/conf/cav/nsv2022.html#LeinoFMFPP22 %V 13466 %@ 978-3-031-21222-2

@inproceedings{conf/cav/LeinoFMFPP22, added-at = {2022-12-16T00:00:00.000+0100}, author = {Leino, Klas and Fromherz, Aymeric and Mangal, Ravi and Fredrikson, Matt and Parno, Bryan and Pasareanu, Corina S.}, biburl = {https://www.bibsonomy.org/bibtex/2fa0b24b828c97fa5b42f2ffb3cffd634/dblp}, booktitle = {NSV/FoMLAS@CAV}, crossref = {conf/cav/2022nsv}, editor = {Isac, Omri and Ivanov, Radoslav and Katz, Guy and Narodytska, Nina and Nenzi, Laura}, ee = {https://doi.org/10.1007/978-3-031-21222-2_7}, interhash = {7e4c1afe6999dd85ea5cc82e4a9386e2}, intrahash = {fa0b24b828c97fa5b42f2ffb3cffd634}, isbn = {978-3-031-21222-2}, keywords = {dblp}, pages = {96-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:26.000+0200}, title = {Self-correcting Neural Networks for Safe Classification.}, url = {http://dblp.uni-trier.de/db/conf/cav/nsv2022.html#LeinoFMFPP22}, volume = 13466, year = 2022 }