TY  - RPRT
TI  - Cost Analysis of Nondeterministic Probabilistic Programs
AU  - Peixin Wang
AU  - Hongfei Fu
AU  - Amir Kafshdar Goharshady
AU  - Krishnendu Chatterjee
AU  - Xudong Qin
AU  - Wenjun Shi
PY  - 2019
UR  - https://arxiv.org/abs/1902.04659
ID  - 1902.04659
ER  -