Peixin Wang Hongfei Fu 0001 Amir Kafshdar Goharshady Krishnendu Chatterjee Xudong Qin Wenjun Shi Cost analysis of nondeterministic probabilistic programs. 204-220 2019 PLDI https://doi.org/10.1145/3314221.3314581 conf/pldi/2019 db/conf/pldi/pldi2019.html#Wang0GCQS19