1 citations · 1 across the 1 of their papers we have counts for
1 paper
Yasmin Sarita, Avaljot Singh, Shaurya Gomber +2
Synthesizing ranking functions is a common technique for proving the termination of loops. A ranking function must be bounded and decrease by a specified amount with each iteration…