Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic. Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. Volume 13371 of Lecture Notes in Computer Science, pages 55-78, Springer, 2022. [doi]
Abstract is missing.