Learning Assumptions for Compositional Verification.
Jamieson M. CobleighDimitra GiannakopoulouCorina S. PasareanuPublished in: TACAS (2003)
Keyphrases
- learning systems
- learning algorithm
- concept learning
- active learning
- learning tasks
- neural network
- machine learning
- prior knowledge
- learning problems
- online learning
- elementary school
- data sets
- learning analytics
- incremental learning
- empirical studies
- knowledge acquisition
- mobile robot
- object recognition
- support vector
- reinforcement learning
- multiscale