@misc{indiciaec6e712055186, title = {The complexity of separability for semilinear sets and Parikh automata}, author = {Elias Rojas Collins and Chris Köcher and Georg Zetzsche}, year = {2025}, doi = {10.4230/lipics.mfcs.2025.29}, url = {https://arxiv.org/abs/2410.00548}, note = {Source identifier: 2410.00548} }