LEVER: A Tool for Learning Based Verification.

Abhay Vardhan Mahesh Viswanathan

Published in: CAV (2006)

Keyphrases

artificial intelligence
learning systems
learning algorithm
learning process
social networks
incremental learning
decision making
web services
reinforcement learning
active learning
domain knowledge
learning tasks
learning problems
software tools
elementary school