Learning to Verify Safety Properties.
Abhay VardhanKoushik SenMahesh ViswanathanGul AghaPublished in: ICFEM (2004)
Keyphrases
- learning process
- learning algorithm
- information systems
- metadata
- reinforcement learning
- learning analytics
- inductive learning
- online learning
- learning systems
- learning mechanism
- database
- learning rules
- learning scheme
- incremental learning
- background knowledge
- unsupervised learning
- knowledge acquisition
- supervised learning
- object recognition
- neural network
- data sets
- real time