Mark Niklas Müller, Marc Fischer, Robin Staab, Martin T. Vechev: Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks - Artifact. Zenodo 2023