@misc{indiciae88e1d8aac135,
  title = {An Optimization Approach to Verifying and Synthesizing K-Cooperative Systems},
  author = {Dimitris Kousoulidis and Fulvio Forni},
  year = {2020},
  url = {https://arxiv.org/abs/1911.07796},
  note = {Source identifier: 1911.07796}
}