TY  - RPRT
TI  - Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities
AU  - Pascal Baumann
AU  - Eren Keskin
AU  - Roland Meyer
AU  - Georg Zetzsche
PY  - 2024
UR  - https://arxiv.org/abs/2406.01008
ID  - 2406.01008
ER  -