@article{2022arXiv220611412K,
    ArchivePrefix = {arXiv},
    Author = {{Karimov}, Toghrul and {Kelmendi}, Edon and {Ouaknine}, Jo{\"e}l and {Worrell}, James},
    EID = {arXiv:2206.11412},
    EPrint = {2206.11412},
    File = {What's Decidable about Discrete Linear Dynamical Systems? - 2206.11412.pdf},
    Journal = {arXiv e-prints},
    Keywords = {Mathematics - Dynamical Systems, Computer Science - Logic in Computer Science, F.4},
    Month = {June},
    Pages = {arXiv:2206.11412},
    PrimaryClass = {math.DS},
    Title = {{What's Decidable about Discrete Linear Dynamical Systems?}},
    Year = {2022},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2022arXiv220611412K},
    date-added = {2022-09-23 14:35:20 +0200},
    date-modified = {2022-09-23 14:35:20 +0200},
    doi = {10.48550/arXiv.2206.11412}
}

@article{2022arXiv220611412K, ArchivePrefix = {arXiv}, Author = {{Karimov}, Toghrul and {Kelmendi}, Edon and {Ouaknine}, Jo{\"e}l and {Worrell}, James}, EID = {arXiv:2206.11412}, EPrint = {2206.11412}, File = {What's Decidable about Discrete Linear Dynamical Systems? - 2206.11412.pdf}, Journal = {arXiv e-prints}, Keywords = {Mathematics - Dynamical Systems, Computer Science - Logic in Computer Science, F.4}, Month = {June}, Pages = {arXiv:2206.11412}, PrimaryClass = {math.DS}, Title = {{What's Decidable about Discrete Linear Dynamical Systems?}}, Year = {2022}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2022arXiv220611412K}, date-added = {2022-09-23 14:35:20 +0200}, date-modified = {2022-09-23 14:35:20 +0200}, doi = {10.48550/arXiv.2206.11412} }