23 citations · 34 across the 8 of their papers we have counts for
1 paper · 1 filter
Erwann Loulergue, Peter Habermehl
Symbolic automata extend classical finite-state automata to handle large or infinite alphabets by labeling transitions by predicates coming from a boolean algebra. Many results fro…