A Learning-Based Framework for Automatic Parameterized Verification.

Yongjian Li Jialun Cao Jun Pang

Published in: ICCD (2019)

Keyphrases

learning process
reinforcement learning
active learning
supervised learning
learning systems
learning mechanism
information systems
bayesian networks
learning scheme
main contribution
learning problems
learning activities
learning scenarios
learning tasks
model checking
database
prior knowledge
learning algorithm