TY  - RPRT
TI  - Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
AU  - Yasmin Sarita
AU  - Avaljot Singh
AU  - Shaurya Gomber
AU  - Gagandeep Singh
AU  - Mahesh Vishwanathan
PY  - 2025
UR  - https://arxiv.org/abs/2404.05951
ID  - 2404.05951
ER  -