Statistical Verification of Probabilistic Properties with Unbounded Until.
Håkan L. S. YounesEdmund M. ClarkePaolo ZulianiPublished in: SBMF (2010)
Keyphrases
- data driven
- desirable properties
- statistical analysis
- probabilistic model
- natural image statistics
- bayesian networks
- information theoretic
- statistical information
- database
- search algorithm
- machine learning
- generative model
- data mining
- statistical models
- uncertain data
- belief networks
- structural properties
- real world
- probability measures