Symbolic Compositional Verification by Learning Assumptions.
Rajeev AlurP. MadhusudanWonhong NamPublished in: CAV (2005)
Keyphrases
- learning algorithm
- learning systems
- prior knowledge
- learning mechanism
- incremental learning
- knowledge acquisition
- neural network
- online learning
- learning process
- connectionist systems
- inductive learning
- learning problems
- empirical studies
- real time
- multi agent
- bayesian networks
- case study
- metadata
- search engine
- artificial intelligence
- databases