Box-Reachability in Vector Addition Systems

Shaull Almagor, Itay Hasson, Michał Pilipczuk +1

We consider a variant of reachability in Vector Addition Systems (VAS) dubbed \emph{box reachability}, whereby a vector $v\in {\mathbb{N}}^d$ is box-reachable from $0$ in a VAS $V$ i…