13 citations · 16 across the 5 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…