%0 Conference Paper %1 conf/aaai/RuossBBV21 %A Ruoss, Anian %A Baader, Maximilian %A Balunovic, Mislav %A Vechev, Martin T. %B AAAI %D 2021 %I AAAI Press %K dblp %P 2504-2513 %T Efficient Certification of Spatial Robustness. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#RuossBBV21 %@ 978-1-57735-866-4

@inproceedings{conf/aaai/RuossBBV21, added-at = {2023-09-04T00:00:00.000+0200}, author = {Ruoss, Anian and Baader, Maximilian and Balunovic, Mislav and Vechev, Martin T.}, biburl = {https://www.bibsonomy.org/bibtex/299ea4eaedf89b6d98a32609db8c15367/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2021}, ee = {https://doi.org/10.1609/aaai.v35i3.16352}, interhash = {4623d9dd88a9acaa7dd43e9773bd0916}, intrahash = {99ea4eaedf89b6d98a32609db8c15367}, isbn = {978-1-57735-866-4}, keywords = {dblp}, pages = {2504-2513}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:11:30.000+0200}, title = {Efficient Certification of Spatial Robustness.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#RuossBBV21}, year = 2021 }