177
click to vote
ICALP
2010
Springer
16 years 3 days ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...