#!/usr/bin/php

<pre>@inproceedings{AAAI-2020-dependency-analysis,
  author    = {Elena Botoeva and
               Panagiotis Kouvaros and
               Jan Kronqvist and
               Alessio Lomuscio and
               Ruth Misener},
  title     = {Efficient Verification of ReLU-Based Neural Networks
                  via Dependency Analysis},
  booktitle = {Proceedings of the 34th {AAAI} Conference on Artificial
                  Intelligence (AAAI 2020)},
  pages     = {3291--3299},
  publisher = {{AAAI} Press},
  year      = {2020},
  webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/bkklm-AAAI-20.pdf},
}</pre>