%0 Journal Article %1 journals/corr/LiNSXL17 %A Li, Jiwei %A Nuzzo, Pierluigi %A Sangiovanni-Vincentelli, Alberto L. %A Xi, Yugeng %A Li, Dewei %D 2017 %J CoRR %K dblp %T Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements. %U http://dblp.uni-trier.de/db/journals/corr/corr1705.html#LiNSXL17 %V abs/1705.09316

@article{journals/corr/LiNSXL17, added-at = {2024-02-12T00:00:00.000+0100}, author = {Li, Jiwei and Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L. and Xi, Yugeng and Li, Dewei}, biburl = {https://www.bibsonomy.org/bibtex/2d2ee3dc7414b410407f03393d2d7f008/dblp}, ee = {http://arxiv.org/abs/1705.09316}, interhash = {20bb7cecde2dde4b8cb62e66f08288de}, intrahash = {d2ee3dc7414b410407f03393d2d7f008}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:39:12.000+0200}, title = {Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#LiNSXL17}, volume = {abs/1705.09316}, year = 2017 }