Learning Universally Quantified Invariants of Linear Data Structures

Pranav Garg Christof Löding P. Madhusudan Daniel Neider

Published in: CoRR (2013)

Keyphrases

data structure
learning algorithm
background knowledge
reinforcement learning
special case
temporal reasoning
industrial applications