@inproceedings{ColKZ25,
  title = {The Complexity of Separability for Semilinear Sets and {{Parikh}} Automata},
  booktitle = {{{MFCS}} 2025},
  author = {Collins, Elias Rojas and K{\"o}cher, Chris and Zetzsche, Georg},
  year = {2025},
  series = {{{LIPIcs}}},
  volume = {345},
  pages = {38:1-38:21},
  publisher = {Dagstuhl Publishing},
  doi = {10.4230/LIPIcs.MFCS.2025.38}
}