L-CMP: an automatic learning-based parameterized verification tool.

Jialun Cao Yongjian Li Jun Pang

Published in: ASE (2018)

Keyphrases

learning algorithm
learning process
active learning
online learning
learning scheme
elementary school
data sets
learning mechanism
learning tasks
unsupervised learning
intelligent tutoring systems
background knowledge
learning problems
concept maps
inductive inference
reinforcement learning
decision making