34 citations · 54 across the 14 of their papers we have counts for
1 paper · 2 filters
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…