Cost analysis of nondeterministic probabilistic programs.

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

Published in: PLDI (2019)

Keyphrases

decision making
quantitative analysis
data analysis
evolutionary algorithm
statistical analysis
uncertain data