@misc{https___doi.org_10.48550_arxiv.2503.18514,
    doi = {10.48550/arxiv.2503.18514},
    url = {https://arxiv.org/abs/2503.18514},
    author = {Lopez, Aliaume and Stefański, Rafał},
    keywords = {Formal Languages and Automata Theory (cs.FL), FOS: Computer and information sciences, FOS: Computer and information sciences},
    title = {Polyregular Model Checking},
    publisher = {arXiv},
    year = {2025},
    copyright = {Creative Commons Attribution Non Commercial Share Alike 4.0 International},
    date-added = {2025-3-25 7:9:44 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2503.18514, doi = {10.48550/arxiv.2503.18514}, url = {https://arxiv.org/abs/2503.18514}, author = {Lopez, Aliaume and Stefański, Rafał}, keywords = {Formal Languages and Automata Theory (cs.FL), FOS: Computer and information sciences, FOS: Computer and information sciences}, title = {Polyregular Model Checking}, publisher = {arXiv}, year = {2025}, copyright = {Creative Commons Attribution Non Commercial Share Alike 4.0 International}, date-added = {2025-3-25 7:9:44 +0100} }