Botoeva, E. ., Kouvaros, P. ., Kronqvist, J. ., Lomuscio, A. ., & Misener, R. . (2020). Efficient Verification of Neural Networks via Dependency Analysis. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20) (p. 3291\textendash3299). AAAI Press.