Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.
Peixin WangHongfei FuKrishnendu ChatterjeeYuxin DengMing XuPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- term rewrite systems
- bayesian networks
- high sensitivity
- probabilistic model
- generative model
- posterior probability
- computer programs
- context sensitive
- sensitivity analysis
- data driven
- expert systems
- information theoretic
- real time
- information technology
- uncertain data
- probabilistic reasoning
- continuous variables
- programming environment
- decision forest
- genetic algorithm
- probabilistic approaches
- data mining