Learning to verify branching time properties.

Abhay Vardhan Mahesh Viswanathan

Published in: ASE (2005)

Keyphrases

reinforcement learning
learning process
online learning
learning systems
prior knowledge
active learning
learning rules
supervised learning
inductive inference
incremental learning
learning mechanism
information retrieval
learning scheme
temporal logic
model checking
domain knowledge
learning algorithm