A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter.

Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche

Browse the full LICS paper archive.