CALF: categorical automata learning framework

DOI10.4230/LIPICS.CSL.2017.29MaRDI QIDQ5111197zbMATH OpenFDO

Authors Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

Publication date 26 May 2020

Full work available at URL https://arxiv.org/abs/1704.05676

zbMATH Keywords

automata learningcategory theory

Mathematics Subject Classification ID

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

Recommendations

• Automata Learning: A Categorical Perspective
• Learning automata with side-effects
• Learning Meets Verification
• Learning nominal automata
• Learning symbolic automata

Cited in

(15)

• Inferring regular languages and \(\omega\)-languages
• A categorical framework for learning generalised tree automata
• Learning weighted automata over principal ideal domains
• Coalgebra learning via duality
• A (co)algebraic theory of succinct automata
• Learning Meets Verification
• CGE: a sequential learning algorithm for Mealy automata
• CALF
• Automata Learning: A Categorical Perspective
• Benchmarks for automata learning and conformance testing
• A new approach for active automata learning based on apartness
• Active learning for sound negotiations
• Guarded Kleene algebra with tests: automata learning
• Learning automata and transducers: a categorical approach
• Feasability of learning weighted automata on a semiring

This page was built for publication: CALF: categorical automata learning framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111197)