@misc{indiciaedd571bf85038,
  title = {Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers},
  author = {He Yin and Peter Seiler and Murat Arcak},
  year = {2021},
  url = {https://arxiv.org/abs/2006.07579},
  note = {Source identifier: 2006.07579}
}