32 citations · 92 across the 26 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…