Regular Separability in Büchi VASS

Pascal Baumann, Roland Meyer, Georg Zetzsche

We study the ($\omega$-)regular separability problem for Büchi VASS languages: Given two Büchi VASS with languages $L_1$ and $L_2$, check whether there is a regular language that fully…