Henry Sinclair-Banks

activity

20232026

most citedThe Tractability Border of Reachability in Simple Vector Addition Systems with States

1 citations · 1 across the 9 of their papers we have counts for

collaborators

Showing cs.CCShow all

1 paper · 1 filter

cs.CC2025

A Note on the Parameterised Complexity of Coverability in Vector Addition Systems

Michał Pilipczuk, Sylvain Schmitz, Henry Sinclair-Banks

We investigate the parameterised complexity of the classic coverability problem for vector addition systems (VAS): given a finite set of vectors $V \subseteq Z^{d}$ , an initi…