Nie jesteś zalogowany |
Towards Regular Separability of Vector Addition Systems
- Prelegent(ci)
- Wojciech Czerwiński
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 27 marca 2019 14:15
- Pokój
- p. 5050
- Tytuł w języku angielskim
- joint work with Georg Zetzsche
- Seminarium
- Seminarium „Teoria automatów”
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.
