Bayesian Verification under Model Uncertainty.
Lenz BelznerThomas GaborPublished in: SEsCPS@ICSE (2017)
Keyphrases
- mathematical model
- probabilistic model
- computational model
- decision theory
- objective function
- feature selection
- bayesian learning
- conceptual model
- statistical model
- management system
- probability distribution
- image segmentation
- prior knowledge
- bayesian networks
- simulation model
- prediction model
- bayesian inference
- decision theoretic
- genetic algorithm
- bayesian model