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

category theoryautomata learning

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(15)

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

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)