14 citations · 29 across the 13 of their papers we have counts for
1 paper · 1 filter
Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli +2
We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements. We use a varia…