@misc{indiciae8b0753b6b6c1,
  title = {3-VASS Reachability is in EXPSPACE},
  author = {Weijun Chen and Bo Fu and Yuxi Fu and Huan Long and Chengfeng Xue and Qizhe Yang and Yangluo Zheng},
  year = {2026},
  url = {https://arxiv.org/abs/2607.14983},
  note = {Source identifier: 2607.14983}
}