Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen. Synthesizing Loops from Linear Ranking Functions. In Étienne André, Jingyi Wang 0004, Naijun Zhan, editors, Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings. Volume 16229 of Lecture Notes in Computer Science, pages 228-246, Springer, 2025. [doi]
Abstract is missing.