Learning to verify branching time properties.

Abhay Vardhan Mahesh Viswanathan

Published in: Formal Methods Syst. Des. (2007)

Keyphrases

learning algorithm
active learning
incremental learning
learning tasks
prior knowledge
supervised learning
learning problems
artificial neural networks
learning process
reinforcement learning
website
online learning
knowledge acquisition
unsupervised learning
multimedia
temporal logic
social networks