14 citations · 24 across the 4 of their papers we have counts for
1 paper · 1 filter
Mehran Hosseini, Joël Ouaknine, James Worrell
We consider the problem of deciding termination of single-path while loops with integer variables, affine updates, and affine guard conditions. The question is whether such a loop…