Adaptive model learning for continual verification of non-functional properties.
Radu CalinescuYasmin RafiqKenneth JohnsonMehmet Emin BakirPublished in: ICPE (2014)
Keyphrases
- mathematical model
- learning algorithm
- formal model
- neural nets
- high level
- computational model
- learning mechanism
- learning scheme
- adaptive learning
- statistical model
- theoretical framework
- learning systems
- parameter estimation
- probabilistic model
- active learning
- prior knowledge
- online learning
- management system
- experimental data
- probability distribution
- learning models
- learning process
- verification method