Botoeva, Elena, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, and Ruth Misener. 2020. “Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (04):3291-99. https://doi.org/10.1609/aaai.v34i04.5729.