Cost analysis of nondeterministic probabilistic programs.

Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi

Browse the full PLDI paper archive.