A Generic Algorithm for Learning Symbolic Automata from Membership Queries.

Oded Maler Irini-Eleftheria Mens

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases

learning algorithm
membership queries
read once formulas
version space
exact learning
pac model
worst case
objective function
membership and equivalence queries
query complexity
noise tolerant
efficient learning
active learning
optimal solution
uniform distribution
noisy data
supervised learning
multi class
np hard