Output Range Analysis for Deep Neural Networks

Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan +1

Deep neural networks (NN) are extensively used for machine learning tasks such as image classification, perception and control of autonomous systems. Increasingly, these deep NNs a…