From the 1 of 4 linked papers with an AI index.
4 papers
3-VASS Reachability is in EXPSPACE
Weijun Chen, Bo Fu, Yuxi Fu +4
The paper proves that the reachability problem for three-dimensional vector addition systems with states (3-VASS) can be solved within EXPSPACE, improving the previous 2‑EXPSPACE u…
Improving Reachability in Vector Addition Systems through Pumpability
Weijun Chen, Yuxi Fu, Yangluo Zheng
Vector addition systems (VAS) constitute an important model of computation and concurrency that is equally expressive as the Petri net model. Recently, a lot of research has been c…
A Unifying Approach to Probabilistic Testing Equivalences
Weijun Chen, Yuxi Fu, Huan Long +1
Probabilistic concurrent systems are foundational models for modern mobile computing. In this paper, a unifying approach to probabilistic testing equivalences is proposed. With the…
A Programming Language for Feasible Solutions
Weijun Chen, Yuxi Fu, Huan Long
Runtime efficiency and termination are crucial properties in the studies of program verification. Instead of dealing with these issues in an ad hoc manner, it would be useful to de…