2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Łukasz Kamiński, Sławomir Lasota
We settle the exact complexity of the reachability problem in (stateless) vector addition systems (VAS) in fixed low dimension. In dimensions 2-4 it has only been known to be sandw…