Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search

Published in ESOP, 2026

Recommended citation: Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan, ESOP 2026.