Article,

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements.

, , , , and .
CoRR, (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews