Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition.

Wonhong Nam Rajeev Alur

Published in: ATVA (2006)

Keyphrases

learning problems
learning algorithm
knowledge base
solving problems
active learning
online learning
knowledge acquisition
fully automatic
learning tasks
incremental learning
neural network
reinforcement learning
learning systems
mobile learning
semi automatic
reasoning systems