@ARTICLE{2025arXiv250622561B,
    author = {{Bizi{\`e}re}, Clotilde and {Hilaire}, Thibault and {Leroux}, J{\'e}r{\^o}me and {Sutre}, Gr{\'e}goire},
    title = {{On the Reachability Problem for Two-Dimensional Branching VASS}},
    journal = {arXiv e-prints},
    keywords = {Logic in Computer Science, Formal Languages and Automata Theory},
    year = {2025},
    month = {jun},
    eid = {arXiv:2506.22561},
    pages = {arXiv:2506.22561},
    doi = {10.48550/arxiv.2506.22561},
    archiveprefix = {arXiv},
    eprint = {2506.22561},
    primaryclass = {cs.LO},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv250622561B},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2025-7-5 6:31:19 +0100}
}

@ARTICLE{2025arXiv250622561B, author = {{Bizi{`e}re}, Clotilde and {Hilaire}, Thibault and {Leroux}, J{\'e}r{\^o}me and {Sutre}, Gr{\'e}goire}, title = {{On the Reachability Problem for Two-Dimensional Branching VASS}}, journal = {arXiv e-prints}, keywords = {Logic in Computer Science, Formal Languages and Automata Theory}, year = {2025}, month = {jun}, eid = {arXiv:2506.22561}, pages = {arXiv:2506.22561}, doi = {10.48550/arxiv.2506.22561}, archiveprefix = {arXiv}, eprint = {2506.22561}, primaryclass = {cs.LO}, adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv250622561B}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2025-7-5 6:31:19 +0100} }