Compositional Verification of Probabilistic Systems Using Learning.
Lu FengMarta Z. KwiatkowskaDavid ParkerPublished in: QEST (2010)
Keyphrases
- learning systems
- learning process
- learning algorithm
- bayesian networks
- reinforcement learning
- intelligent systems
- database
- supervised learning
- artificial intelligence
- inductive inference
- online learning
- incremental learning
- learning scenarios
- learning community
- model checking
- background knowledge
- asynchronous circuits
- unsupervised learning
- generative model
- computer systems
- probability distribution
- case study
- information systems
- neural network
- real time