Login / Signup
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper).
Gianpiero Cabodi
Paolo Camurati
Marco Palena
Paolo Pasini
Danilo Vendraminetto
Published in:
SEFM (2017)
Keyphrases
</>
learning process
learning systems
learning algorithm
reinforcement learning
supervised learning
online learning
bayesian networks
background knowledge
learning tasks
neural network
machine learning
knowledge base
multi agent
general purpose