Automated Assume-Guarantee Reasoning through Implicit Learning.
Yu-Fang ChenEdmund M. ClarkeAzadeh FarzanMing-Hsien TsaiYih-Kuen TsayBow-Yaw WangPublished in: CAV (2010)
Keyphrases
- learning process
- learning algorithm
- learning problems
- learning systems
- prior knowledge
- inductive inference
- learning scheme
- online learning
- artificial neural networks
- learning environment
- database
- active learning
- case study
- information systems
- background knowledge
- learning tasks
- artificial intelligence
- incremental learning
- learning analytics
- neural network
- real time