132 citations · 182 across the 19 of their papers we have counts for
1 paper · 1 filter
Rajeev Alur, Mukund Raghothaman
Additive Cost Register Automata (ACRA) map strings to integers using a finite set of registers that are updated using assignments of the form "x := y + c" at every step. The corres…