@misc{https___doi.org_10.48550_arxiv.2410.13053,
    doi = {10.48550/ARXIV.2410.13053},
    url = {https://arxiv.org/abs/2410.13053},
    author = {Karimov, Toghrul and Ouaknine, Joël and Worrell, James},
    keywords = {Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences},
    title = {Verification of Linear Dynamical Systems via O-Minimality of Real Numbers},
    publisher = {arXiv},
    year = {2024},
    copyright = {Creative Commons Attribution 4.0 International},
    date-added = {2024-10-18 7:19:36 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2410.13053, doi = {10.48550/ARXIV.2410.13053}, url = {https://arxiv.org/abs/2410.13053}, author = {Karimov, Toghrul and Ouaknine, Joël and Worrell, James}, keywords = {Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences}, title = {Verification of Linear Dynamical Systems via O-Minimality of Real Numbers}, publisher = {arXiv}, year = {2024}, copyright = {Creative Commons Attribution 4.0 International}, date-added = {2024-10-18 7:19:36 +0100} }