Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks

Mark Niklas Müller, Marc Fischer, Robin Staab +1

We present a new abstract interpretation framework for the precise over-approximation of numerical fixpoint iterators. Our key observation is that unlike in standard abstract inter…