@misc{indiciae92692c467d02,
  title = {Stability Verification of Neural Network Controllers using Mixed-Integer Programming},
  author = {Roland Schwan and Colin N. Jones and Daniel Kuhn},
  year = {2023},
  url = {https://arxiv.org/abs/2206.13374},
  note = {Source identifier: 2206.13374}
}