Learning Commutativity Specifications.

Timon Gehr Dimitar K. Dimitrov Martin T. Vechev

Published in: CAV (1) (2015)

Keyphrases

learning systems
reinforcement learning
learning algorithm
learning scheme
supervised learning
online learning
knowledge acquisition
artificial intelligence
learning process
active learning
inductive inference
real time
incremental learning
learning problems
learning tasks
decision trees
databases