35 citations · 102 across the 18 of their papers we have counts for
1 paper · 1 filter
Michael Blondin, Alain Finkel, Stefan Göller +2
Determining the complexity of the reachability problem for vector addition systems with states (VASS) is a long-standing open problem in computer science. Long known to be decidabl…