1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2020
Reachability is Tower Complete
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.
cs.LO2019★ 1 cited
A Uniform Approach to Random Process Model
Yuxi Fu
There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of…