TY  - RPRT
TI  - Lower Bounds for Possibly Divergent Probabilistic Programs
AU  - Shenghua Feng
AU  - Mingshuai Chen
AU  - Han Su
AU  - Benjamin Lucien Kaminski
AU  - Joost-Pieter Katoen
AU  - Naijun Zhan
PY  - 2023
UR  - https://arxiv.org/abs/2302.06082
ID  - 2302.06082
ER  -