Botoeva, E., P. Kouvaros, J. Kronqvist, A. Lomuscio, and R. Misener. “Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 04, Apr. 2020, pp. 3291-9, doi:10.1609/aaai.v34i04.5729.