Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan. Lower Bounds for Possibly Divergent Probabilistic Programs. Proceedings of the ACM on Programming Languages, 7(OOPSLA1):696-726, April 2023. [doi]
Abstract is missing.