%0 Conference Paper %1 conf/aaai/BotoevaKKLM20 %A Botoeva, Elena %A Kouvaros, Panagiotis %A Kronqvist, Jan %A Lomuscio, Alessio %A Misener, Ruth %B AAAI %D 2020 %I AAAI Press %K dblp %P 3291-3299 %T Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#BotoevaKKLM20 %@ 978-1-57735-823-7

@inproceedings{conf/aaai/BotoevaKKLM20, added-at = {2023-09-04T00:00:00.000+0200}, author = {Botoeva, Elena and Kouvaros, Panagiotis and Kronqvist, Jan and Lomuscio, Alessio and Misener, Ruth}, biburl = {https://www.bibsonomy.org/bibtex/20cffc9c26e2afe5c596e9b6c5219980d/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2020}, ee = {https://doi.org/10.1609/aaai.v34i04.5729}, interhash = {cc48d6db25cd2a0b4dcba4bda6e56814}, intrahash = {0cffc9c26e2afe5c596e9b6c5219980d}, isbn = {978-1-57735-823-7}, keywords = {dblp}, pages = {3291-3299}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:05:48.000+0200}, title = {Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#BotoevaKKLM20}, year = 2020 }