100 citations · 314 across the 34 of their papers we have counts for
1 paper · 2 filters
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…