Botoeva E, Kouvaros P, Kronqvist J, Lomuscio A, Misener R. Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI [Internet]. 2020Apr.3 [cited 2024Apr.24];34(04):3291-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/5729