Learning Universally Quantified Invariants of Linear Data Structures.

Pranav Garg Christof Löding P. Madhusudan Daniel Neider

Published in: CAV (2013)

Keyphrases

data structure
learning algorithm
artificial intelligence
reinforcement learning
special case
programming language
inductive inference