Revisiting Parameter Synthesis for One-Counter Automata.

Guillermo A. Prez, Ritam Raha

Browse the full CSL paper archive.