Login / Signup
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report.
Andreas Katis
Michael W. Whalen
Andrew Gacek
Published in:
CoRR (2016)
Keyphrases
</>
independent and identically distributed
real time
evolutionary algorithm
supply chain
data sets
databases
neural network
decision making
e learning
database systems
theoretical framework
probability theory
cognitive psychology
causal reasoning
finite sets