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.