16 citations · 56 across the 29 of their papers we have counts for
1 paper · 1 filter
Pranav Garg, Christof Loding, P. Madhusudan +1
We propose a new automaton model, called quantified data automata over words, that can model quantified invariants over linear data structures, and build poly-time active learning…