Termination of linear loops under commutative updates

Ruiwen Dong

We consider the following problem: given $d\times d$ rational matrices $A_1,\dots ,A_k$ and a polyhedral cone $\mathcal{C}\subset {\mathbb{R}}^d$, decide whether there exists a n…