add citation

JuliaReach · Jul 14, 2022 · 1b22715 · 1b22715
1 parent 647ba59
commit 1b22715
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/CITATION.bib b/CITATION.bib
@@ -0,0 +1,13 @@
+@inproceedings{SchillingFG22,
+  author    = {Christian Schilling and
+               Marcelo Forets and
+               Sebasti{\'{a}}n Guadalupe},
+  title     = {Verification of Neural-Network Control Systems by Integrating {T}aylor
+               Models and Zonotopes},
+  booktitle = {{AAAI}},
+  pages     = {8169--8177},
+  publisher = {{AAAI} Press},
+  year      = {2022},
+  url       = {https://ojs.aaai.org/index.php/AAAI/article/view/20790},
+  doi       = {10.1609/aaai.v36i7.20790}
+}