@misc{indiciae19468d79ed24,
  title = {Fast Neural Network Verification via Shadow Prices},
  author = {Vicenc Rubies-Royo and Roberto Calandra and Dusan M. Stipanovic and Claire Tomlin},
  year = {2021},
  url = {https://arxiv.org/abs/1902.07247},
  note = {Source identifier: 1902.07247}
}