What's decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell 0001. What's decidable about linear loops?. Proceedings of the ACM on Programming Languages, 6(POPL):1-25, 2022. [doi]

Bibliographies