@misc{indiciae010acace8104,
  title = {Reachability in VASS Extended with Integer Counters},
  author = {Clotilde Bizière and Wojciech Czerwiński and Roland Guttenberg and Jérôme Leroux and Vincent Michielini and Łukasz Orlikowski and Antoni Puch and Henry Sinclair-Banks},
  year = {2026},
  doi = {10.4230/lipics.lics.2026.19},
  url = {https://arxiv.org/abs/2603.05221},
  note = {Source identifier: 2603.05221}
}