13 citations · 13 across the 2 of their papers we have counts for
1 paper · 1 filter
Andreas Stahlbauer
Several abstract machines that operate on symbolic input alphabets have been proposed in the last decade, for example, symbolic automata or lattice automata. Applications of these…