A Generic Algorithm for Learning Symbolic Automata from Membership Queries

DOI10.1007/978-3-319-63121-9_8zbMath1431.68054OpenAlexW2737162901MaRDI QIDQ5217302

Irini-Eleftheria Mens, Oded Maler

Publication date: 24 February 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_8

zbMATH Keywords

infinite alphabetssymbolic automataautomata learning

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45)

Related Items (5)

Inferring Symbolic Automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fast computations on ordered nominal sets ⋮ Regular \(\omega\)-languages with an informative right congruence

This page was built for publication: A Generic Algorithm for Learning Symbolic Automata from Membership Queries