TY  - RPRT
TI  - A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
AU  - Yousef Shakiba
AU  - Henry Sinclair-Banks
AU  - Georg Zetzsche
PY  - 2025
UR  - https://arxiv.org/abs/2505.13749
ID  - 2505.13749
ER  -