Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.
Peixin WangHongfei FuKrishnendu ChatterjeeKangli HeMing XuPublished in: CoRR (2019)
Keyphrases
- bayesian networks
- program execution
- control flow
- database transactions
- uncertain data
- generative model
- symbolic execution
- probabilistic model
- sensitivity analysis
- application programs
- information retrieval
- probabilistic reasoning
- execution model
- workflow management systems
- control program
- randomized algorithms
- high sensitivity
- database
- information theoretic
- real time