24 citations · 33 across the 12 of their papers we have counts for
1 paper · 2 filters
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…