Neural Network

A challenge in verifying a closed-loop system with a neural network controller is to be able to approximate the image of a net within a given error bound. We propose an abstract algorithm, to this end, using rational approximations for activation …