Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.
Krishnendu ChatterjeeHongfei FuPetr NovotnýRouzbeh HasheminezhadPublished in: ACM Trans. Program. Lang. Syst. (2018)
Keyphrases
- qualitative and quantitative
- optimization problems
- solving problems
- problems involving
- quantitative and qualitative
- statistical analysis
- probabilistic approaches
- data sets
- temporal reasoning
- benchmark problems
- decision problems
- image analysis
- lower bound
- bayesian networks
- physical systems
- probabilistic planning
- data mining