Quantitative Analysis of Assertion Violations in Probabilistic Programs.
Jinyi WangYican SunHongfei FuAmir Kafshdar GoharshadyKrishnendu ChatterjeePublished in: CoRR (2020)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative and quantitative analysis
- qualitative evaluation
- bayesian networks
- probabilistic model
- probabilistic logic programs
- probabilistic logic
- context sensitive
- uncertain data
- probabilistic reasoning
- computer programs
- brain structures
- generative model
- cell segmentation
- image data
- genetic algorithm