C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements.
Jiwei Li
Pierluigi Nuzzo
Alberto L. Sangiovanni-Vincentelli
Yugeng Xi
Dewei Li
Published in:
CoRR (2017)
Keyphrases
</>
real time
supply chain
artificial intelligence
bayesian networks
user interface
virtual world