Alchemist: Learning Guarded Affine Functions.

Shambwaditya Saha Pranav Garg P. Madhusudan

Published in: CAV (1) (2015)

Keyphrases

learning process
learning systems
active learning
online learning
knowledge acquisition
decision trees
reinforcement learning
learning problems
incremental learning
computer programming