TY  - RPRT
TI  - Reachability in Fixed VASS: Expressiveness and Lower Bounds
AU  - Andrei Draghici
AU  - Christoph Haase
AU  - Andrew Ryzhikov
PY  - 2023
UR  - https://arxiv.org/abs/2310.16740
ID  - 2310.16740
ER  -