#!/usr/bin/php
@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}, }