48 citations · 207 across the 23 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…