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]

Authors

Toghrul Karimov

This author has not been identified. Look up 'Toghrul Karimov' in Google

Engel Lefaucheux

This author has not been identified. Look up 'Engel Lefaucheux' in Google

Joël Ouaknine

This author has not been identified. Look up 'Joël Ouaknine' in Google

David Purser

This author has not been identified. Look up 'David Purser' in Google

Anton Varonka

This author has not been identified. Look up 'Anton Varonka' in Google

Markus A. Whiteland

This author has not been identified. Look up 'Markus A. Whiteland' in Google

James Worrell 0001

This author has not been identified. Look up 'James Worrell 0001' in Google