Pierluigi Nuzzo, Jiwei Li, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li. Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. ACM Trans. Embedded Comput. Syst., 18(1), 2019. [doi]
@article{NuzzoLSXL19,
title = {Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design},
author = {Pierluigi Nuzzo and Jiwei Li and Alberto L. Sangiovanni-Vincentelli and Yugeng Xi and Dewei Li},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3243216},
researchr = {https://researchr.org/publication/NuzzoLSXL19},
cites = {0},
citedby = {0},
journal = {ACM Trans. Embedded Comput. Syst.},
volume = {18},
number = {1},
}