Automata Learning through Counterexample Guided Abstraction Refinement.

Fides Aarts Faranak Heidarian Harco Kuppens Petur Olsen Frits W. Vaandrager

Published in: FM (2012)

Keyphrases

data sets
incremental learning
inductive learning
learning problems
active learning
learning scheme
learning systems
unsupervised learning
online learning
reinforcement learning
supervised learning
high level
mobile learning
knowledge base
information systems
learning algorithm
learning analytics
database