@misc{indiciae8664fbddf36b,
  title = {Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts},
  author = {Yuxiao Chen and James Anderson and Karan Kalsi and Steven H. Low and Aaron D. Ames},
  year = {2018},
  url = {https://arxiv.org/abs/1810.10636},
  note = {Source identifier: 1810.10636}
}