Coverability in 2-VASS with one unary counter is in NP (Q6091190)
From MaRDI portal
scientific article; zbMATH DE number 7770338
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coverability in 2-VASS with one unary counter is in NP |
scientific article; zbMATH DE number 7770338 |
Statements
Coverability in 2-VASS with one unary counter is in NP (English)
0 references
24 November 2023
0 references
vector addition systems
0 references
coverability problem
0 references
linear path schemes
0 references
0 references
