A lower bound for the coverability problem in acyclic pushdown VAS - Archive ouverte HAL
Article Dans Une Revue Information Processing Letters Année : 2021

A lower bound for the coverability problem in acyclic pushdown VAS

Résumé

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
main.pdf (448.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jérôme Leroux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03447041

Soumis le : lundi 29 novembre 2021-09:49:10

Dernière modification le : vendredi 24 mars 2023-14:53:24

Télécharger pour visualiser

Dates et versions

hal-03447041 , version 1 (29-11-2021)

Identifiants

Citer

Matthias Englert, Piotr Hofman, Sławomir Lasota, Ranko Lazić, Jérôme Leroux, et al.. A lower bound for the coverability problem in acyclic pushdown VAS. Information Processing Letters, 2021, 167, pp.106079. ⟨10.1016/j.ipl.2020.106079⟩. ⟨hal-03447041⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ANR
26 Consultations
57 Téléchargements

Altmetric

Partager

More