Joël Ouaknine, João Sousa Pinto, James Worrell. On Termination of Integer Linear Loops. In Piotr Indyk, editor, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. pages 957-969, SIAM, 2015. [doi]
Abstract is missing.