Stochastic contracts for cyber-physical system design under probabilistic requirements.

Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li

Browse the full MEMOCODE paper archive.