A categorical framework for learning generalised tree automata

DOI10.1007/978-3-031-10736-8_4MaRDI QIDQ2104477zbMATH OpenOpenAlexFDO

Authors Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Publication date 7 December 2022

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 46168 (Why is no real title available?)
• scientific article; zbMATH DE number 3479108 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1289305 (Why is no real title available?)
• scientific article; zbMATH DE number 2040913 (Why is no real title available?)
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)
• Automata Learning
• Automata Learning: A Categorical Perspective
• CALF: categorical automata learning framework
• Categorical set theory: A characterization of the category of sets
• Coalgebra learning via duality
• Composing monads using coproducts
• Free iterative theories: a coalgebraic view
• Grammatical inference. Learning automata and grammars.
• Learning Behaviors of Automata from Multiplicity and Equivalence Queries
• Learning I/O automata
• Learning automata with side-effects
• Learning context-free grammars from structural data in polynomial time
• Learning nominal automata
• Learning pomset automata
• Learning register automata with fresh value generation
• Learning regular omega languages
• Learning regular sets from queries and counterexamples
• Learning to coordinate
• Learning tree languages from positive examples and membership queries
• Learning weighted automata over principal ideal domains
• On well-founded and recursive coalgebras
• Series-parallel languages and the bounded-width property
• System identification via state characterization
• The equational theory of pomsets

Cited in

(1)

• Automata Learning: A Categorical Perspective

Describes a project that uses

Uses Software

• CALF
• LearnLib

This page was built for publication: A categorical framework for learning generalised tree automata

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