Coverability in 2-VASS with One Unary Counter is in NP

Mazowiecki, Filip; Sinclair-Banks, Henry; Węgrzycki, Karol

doi:10.1007/978-3-031-30829-1_10

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Coverability in 2-VASS with One Unary Counter is in NP

MPS-Authors

/persons/resource/persons252863

Węgrzycki, Karol
Algorithms and Complexity, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

3544548.3580730.pdf
(Publisher version), 741KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Mazowiecki, F., Sinclair-Banks, H., & Węgrzycki, K. (2023). Coverability in 2-VASS with One Unary Counter is in NP. In O. Kupferman, & P. Sobocinski (Eds.), Foundations of Software Science and Computation Structures (pp. 196-217). Berlin: Springer. doi:10.1007/978-3-031-30829-1_10.

Cite as: https://hdl.handle.net/21.11116/0000-000C-4678-F

Abstract

There is no abstract available