Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.
Chenghao CaiJing SunGillian DobbieScott Uk-Jin LeePublished in: APSEC (2019)
Keyphrases
- abstract machine
- prior knowledge
- formal model
- management system
- mathematical model
- learned models
- computational model
- experimental data
- learning scheme
- reinforcement learning
- automatically learned
- active learning
- learning phase
- databases
- connectionist networks
- learning mechanism
- classification models
- statistical model
- neural network model
- conceptual model
- em algorithm
- knowledge acquisition
- probabilistic model
- similarity measure
- knowledge base
- machine learning