@misc{indiciae4628a5e4bc6a,
  title = {Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements},
  author = {Jiwei Li and Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli and Yugeng Xi and Dewei Li},
  year = {2017},
  url = {https://arxiv.org/abs/1705.09316},
  note = {Source identifier: 1705.09316}
}