Login / Signup
Horn-ICE Learning for Synthesizing Invariants and Contracts.
Deepak D'Souza
P. Ezudheen
Pranav Garg
P. Madhusudan
Daniel Neider
Published in:
CoRR (2017)
Keyphrases
</>
reinforcement learning
learning process
knowledge acquisition
learning systems
supervised learning
unsupervised learning
learning algorithm
learning tasks
background knowledge
empirical studies
data sets
online learning
objective function
multiscale
learning scenarios
learning scheme
inductive inference