Botoeva, Elena, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, and Ruth Misener. “Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 04 (April 3, 2020): 3291-3299. Accessed March 2, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/5729.