Termination of Real Linear Loops

Eike Neumann, Margret Tembo

We study the problem of deciding universal termination of linear and affine loops over the reals in the bit-model of real computation. We show that both problems are as close to de…