102 citations · 136 across the 12 of their papers we have counts for
1 paper · 1 filter
Dana Fisman, Hadar Frenkel, Sandra Zilles
We study the learnability of symbolic finite state automata (SFA), a model shown useful in many applications in software verification. The state-of-the-art literature on this topic…