You are not logged in | Log in

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.

joint work with Georg Zetzsche