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