A lower bound for the coverability problem in acyclic pushdown VAS
A lower bound for the coverability problem in acyclic pushdown VAS
Autor
Englert Matthias
Lazić Ranko
Leroux Jérôme
Punktacja ministerialna
70
Data publikacji
Abstrakt (EN)
We investigate the coverability problem for a one-dimensional restriction of pushdown vector addition systems with states. We improve the lower complexity bound to PSpace, even in the acyclic case.
Dyscyplina PBN
informatyka
Czasopismo
Information Processing Letters
Tom
167
Strony od-do
106079:1-5
ISSN
0020-0190
Licencja otwartego dostępu
Dostęp zamknięty