CEGAR for Qualitative Analysis of Probabilistic Systems.
Krishnendu ChatterjeeMartin ChmelikPrzemyslaw DacaPublished in: CAV (2014)
Keyphrases
- qualitative analysis
- quantitative analysis
- distributed systems
- probabilistic model
- management system
- content analysis
- neural network
- bayesian networks
- intelligent systems
- building blocks
- fault tree
- real time
- uncertain data
- complex systems
- learning systems
- generative model
- computer systems
- data driven
- expert systems
- feature extraction
- decision trees
- data sets