Reachability analysis of neural networks using mixed monotonicity

Pierre-Jean Meyer

This paper presents a new reachability analysis approach to compute interval over-approximations of the output set of feedforward neural networks with input uncertainty. We adapt t…