Learning-Based Assume-Guarantee Regression Verification.
Fei HeShu MaoBow-Yaw WangPublished in: CAV (1) (2016)
Keyphrases
- learning systems
- learning algorithm
- learning process
- online learning
- knowledge acquisition
- reinforcement learning
- prior knowledge
- data sets
- learning problems
- multi agent systems
- active learning
- case study
- model selection
- empirical studies
- artificial intelligence
- linear regression
- inductive learning
- classification and regression problems