%0 Conference Paper %1 conf/cav/AzeemGKKMR24 %A Azeem, Muqsit %A Grobelna, Marta %A Kanav, Sudeep %A Kretínský, Jan %A Mohr, Stefanie %A Rieder, Sabine %B CAV (2) %D 2024 %E Gurfinkel, Arie %E Ganesh, Vijay %I Springer %K dblp %P 265-279 %T Monitizer: Automating Design and Evaluation of Neural Network Monitors. %U http://dblp.uni-trier.de/db/conf/cav/cav2024-2.html#AzeemGKKMR24 %V 14682 %@ 978-3-031-65630-9

@inproceedings{conf/cav/AzeemGKKMR24, added-at = {2024-08-22T00:00:00.000+0200}, author = {Azeem, Muqsit and Grobelna, Marta and Kanav, Sudeep and Kretínský, Jan and Mohr, Stefanie and Rieder, Sabine}, biburl = {https://www.bibsonomy.org/bibtex/2b4a67dcb8fa67d46d89f1bee88fbcf73/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2024-2}, editor = {Gurfinkel, Arie and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-031-65630-9_14}, interhash = {352c53f1bc3c6a36c2e86f88a715eae1}, intrahash = {b4a67dcb8fa67d46d89f1bee88fbcf73}, isbn = {978-3-031-65630-9}, keywords = {dblp}, pages = {265-279}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-26T07:54:32.000+0200}, title = {Monitizer: Automating Design and Evaluation of Neural Network Monitors.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2024-2.html#AzeemGKKMR24}, volume = 14682, year = 2024 }