A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter. - Yousef Shakiba; Henry Sinclair-Banks; Georg Zetzsche (CoRR, 2025)