Mark Niklas Müller, Marc Fischer, Robin Staab, Martin T. Vechev: Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks. Proc. ACM Program. Lang. 7(PLDI): 786-810 (2023)