@misc{indiciaea6f20514d4f2,
  title = {Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks},
  author = {Mark Niklas Müller and Marc Fischer and Robin Staab and Martin Vechev},
  year = {2023},
  doi = {10.1145/3591252},
  url = {https://arxiv.org/abs/2110.08260},
  note = {Source identifier: 2110.08260}
}