Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

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]

Authors

Pierluigi Nuzzo

This author has not been identified. Look up 'Pierluigi Nuzzo' in Google

Jiwei Li

This author has not been identified. Look up 'Jiwei Li' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google

Yugeng Xi

This author has not been identified. Look up 'Yugeng Xi' in Google

Dewei Li

This author has not been identified. Look up 'Dewei Li' in Google