12 citations · 24 across the 7 of their papers we have counts for
1 paper · 1 filter
Yuxi Fu, Qizhe Yang
A complete characterization of the complexity of the reachability problem for vector addition system has been open for a long time. The problem is shown to be Tower complete.