A Small Gain Theorem for Parametric Assume-Guarantee Contracts.

Eric S. Kim Murat Arcak Sanjit A. Seshia

Published in: HSCC (2017)

Keyphrases

small number
databases
supply chain
data sets
machine learning
artificial intelligence
search engine
knowledge base
case study
image segmentation
data structure