88 citations · 281 across the 25 of their papers we have counts for
1 paper · 2 filters
Jérôme Leroux
The reachability problem for vector addition systems is a central problem of net theory. This problem is known to be decidable but the complexity is still unknown. Whereas the prob…