TY  - RPRT
TI  - Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
AU  - Mark Niklas Müller
AU  - Marc Fischer
AU  - Robin Staab
AU  - Martin Vechev
PY  - 2023
DO  - 10.1145/3591252
UR  - https://arxiv.org/abs/2110.08260
ID  - 2110.08260
ER  -