12 citations · 43 across the 22 of their papers we have counts for
1 paper · 1 filter
Rayna Dimitrova, Rupak Majumdar
Extensions to finite-state automata on strings, such as multi-head automata or multi-counter automata, have been successfully used to encode many infinite-state non-regular verific…