Reflections on Termination of Linear Loops.

Shaowei Zhu, Zachary Kincaid

Browse the full CAV paper archive.