Fast Neural Network Verification via Shadow Prices

Vicenc Rubies-Royo, Roberto Calandra, Dusan M. Stipanovic +1

To use neural networks in safety-critical settings it is paramount to provide assurances on their runtime operation. Recent work on ReLU networks has sought to verify whether input…