Improved Algorithm for Reachability in d-VASS.

Yuxi Fu Qizhe Yang Yangluo Zheng

Published in: ICALP (2024)

Keyphrases

improved algorithm
state space
transitive closure
optimization strategy
discriminant function
original version
fuzzy logic
training set
expressive power