Cost Analysis of Nondeterministic Probabilistic Programs

Publication
ACM Conference on Programming Language Design and Implementation (PLDI)