Efficiently Learning Safety Proofs from Appearance as well as Behaviours.

Sumanth Prabhu Kumar Madhukar R. Venkatesh

Published in: SAS (2018)

Keyphrases

learning process
learning algorithm
supervised learning
data sets
social networks
information systems
learning systems
mobile learning
incremental learning
real time
neural network
machine learning
reinforcement learning
state space
theorem prover
learning scheme