Sound and Complete Techniques for Reasoning About Termination. - Rupak Majumdar; V. R. Sathiyanarayana (Principles of Verification (1), 2024)

Necessary and Sufficient Certificates for Almost Sure Reachability. - Rupak Majumdar; V. R. Sathiyanarayana; Sadegh Soudjani (IEEE Control. Syst. Lett., 2024)

Positive Almost-Sure Termination: Complexity and Proof Rules. - Rupak Majumdar; V. R. Sathiyanarayana (Proc. ACM Program. Lang., 2024)

Sound and Complete Proof Rules for Probabilistic Termination. - Rupak Majumdar; V. R. Sathiyanarayana (Proc. ACM Program. Lang., 2025)