3 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
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…