Effective Divergence Analysis for Linear Recurrence Sequences.

Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Jol Ouaknine, James Worrell

Browse the full CONCUR paper archive.