CEGAR for Qualitative Analysis of Probabilistic Systems.
Krishnendu ChatterjeeMartin ChmelikPrzemyslaw DacaPublished in: CoRR (2014)
Keyphrases
- qualitative analysis
- quantitative analysis
- probabilistic model
- data driven
- management system
- bayesian networks
- software development
- content analysis
- artificial intelligence
- image retrieval
- mobile devices
- image analysis
- genetic algorithm
- case study
- computer vision
- knowledge based systems
- generative model
- learning algorithm