5 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Guillermo A. Pérez, Ritam Raha
We study the (parameter) synthesis problem for one-counter automata with parameters. One-counter automata are obtained by extending classical finite-state automata with a counter w…