Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Universality Problem for Unambiguous VASS

Abstract : We study languages of unambiguous VASS, that is, Vector Addition Systems with States, whose transitions read letters from a finite alphabet, and whose acceptance condition is defined by a set of final states (i.e., the coverability language). We show that the problem of universality for unambiguous VASS is ExpSpace-complete, in sheer contrast to Ackermann-completeness for arbitrary VASS, even in dimension 1. When the dimension d is fixed, the universality problem is PSpace-complete if d ≥ 2, and coNP-hard for 1-dimensional VASS (also known as One Counter Nets).
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02483495
Contributor : Diego Figueira <>
Submitted on : Tuesday, May 19, 2020 - 10:02:32 AM
Last modification on : Thursday, May 21, 2020 - 1:37:54 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02483495, version 2

Collections

Citation

Wojciech Czerwiński, Diego Figueira, Piotr Hofman. Universality Problem for Unambiguous VASS. 2020. ⟨hal-02483495v2⟩

Share

Metrics

Record views

1

Files downloads

5