%0 Conference Paper %1 conf/fm/BakDSTVW23 %A Bak, Stanley %A Dohmen, Taylor %A Subramani, K. %A Trivedi, Ashutosh %A Velasquez, Alvaro %A Wojciechowski, Piotr %B FM %D 2023 %E Chechik, Marsha %E Katoen, Joost-Pieter %E Leucker, Martin %I Springer %K dblp %P 454-472 %T The Octatope Abstract Domain for Verification of Neural Networks. %U http://dblp.uni-trier.de/db/conf/fm/fm2023.html#BakDSTVW23 %V 14000 %@ 978-3-031-27481-7

@inproceedings{conf/fm/BakDSTVW23, added-at = {2024-02-09T00:00:00.000+0100}, author = {Bak, Stanley and Dohmen, Taylor and Subramani, K. and Trivedi, Ashutosh and Velasquez, Alvaro and Wojciechowski, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/2f1257966bbba08083f00d5bf46d5b902/dblp}, booktitle = {FM}, crossref = {conf/fm/2023}, editor = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-031-27481-7_26}, interhash = {0d32519a3ec6a2bba29b82f242e3b40b}, intrahash = {f1257966bbba08083f00d5bf46d5b902}, isbn = {978-3-031-27481-7}, keywords = {dblp}, pages = {454-472}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {The Octatope Abstract Domain for Verification of Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2023.html#BakDSTVW23}, volume = 14000, year = 2023 }