TY  - RPRT
TI  - Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
AU  - Jiwei Li
AU  - Pierluigi Nuzzo
AU  - Alberto Sangiovanni-Vincentelli
AU  - Yugeng Xi
AU  - Dewei Li
PY  - 2017
UR  - https://arxiv.org/abs/1705.09316
ID  - 1705.09316
ER  -