Reachability in 3-VASS is in Tower.

Qizhe Yang Yuxi Fu

Published in: CoRR (2023)

Keyphrases

state space
transitive closure
databases
data mining
machine learning
rough sets
decision support
learning systems