Quantitative analysis of assertion violations in probabilistic programs.
Jinyi WangYican SunHongfei FuKrishnendu ChatterjeeAmir Kafshdar GoharshadyPublished in: PLDI (2021)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative and quantitative analysis
- qualitative evaluation
- probabilistic model
- generative model
- bayesian networks
- information theoretic
- computer programs
- neural network
- probabilistic logic
- answer sets
- real time
- cell segmentation
- control program
- automatic programming
- knowledge base
- e learning
- expert systems
- high level