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]

Abstract

Abstract is missing.