@misc{indiciae8b39eb1883e7,
  title = {Reachability in Five-Dimensional Vector Addition Systems Is PSPACE-Complete},
  author = {Weijun Chen and Bo Fu and Yuxi Fu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.40012},
  note = {Source identifier: 2610.40012}
}