Yangluo Zheng

activity

20242026

collaborators

Showing 2024Show all

2 papers · 1 filter

cs.FL2024

Reachability in Vector Addition System with States Parameterized by Geometric Dimension

Yangluo Zheng

The geometric dimension of a Vector Addition System with States (VASS), emerged in Leroux and Schmitz (2019) and formalized by Fu, Yang, and Zheng (2024), quantifies the dimension…

cs.LO2024

Improved Algorithm for Reachability in $d$ -VASS

Yuxi Fu, Qizhe Yang, Yangluo Zheng

An $F_{d}$ upper bound for the reachability problem in vector addition systems with states (VASS) in fixed dimension is given, where $F_{d}$ is the $d$ -th level of…

Reachability in Vector Addition System with States Parameterized by Geometric Dimension

Improved Algorithm for Reachability in d-VASS

Improved Algorithm for Reachability in $d$ -VASS