Verifying Qualitative Properties of Probabilistic Programs.
Benedikt BolligMartin LeuckerPublished in: Validation of Stochastic Systems (2004)
Keyphrases
- imperative programs
- quantitative and qualitative
- knowledge base
- probabilistic networks
- computer programs
- probabilistic reasoning
- structural properties
- qualitative and quantitative
- probabilistic model
- trade off
- bayesian networks
- case study
- model checking
- belief networks
- data driven
- qualitative reasoning
- fixpoint
- qualitative information
- machine learning