Towards Regular Separability of Vector Addition Systems

I will present a general approach to regular separability in subclasses of vector addition systems.

I will sketch the proofs of two new decidability results for regular separability: 1-VASS languages vs VASS languages

and Z-VASS languages and VASS languages. Regular separability of general VASS languages still remains open,

we hope that these techniques may be helpful to resolve this problem.