Coalgebra learning via duality

DOI10.1007/978-3-030-17127-8_4MaRDI QIDQ2289063OpenAlexFDO

Authors Simone Barlocco, Clemens Kupke, Jurriaan Rot

Publication date 28 January 2020

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• Angluin learning via logic
• Automata Learning: A Categorical Perspective
• Automata for coalgebras: an approach using predicate liftings
• scientific article; zbMATH DE number 1304993
• CALF: categorical automata learning framework

Cited in

(13)

• scientific article; zbMATH DE number 6528605 (Why is no real title available?)
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
• A Myhill-Nerode theorem for higher-dimensional automata
• A new approach for active automata learning based on apartness
• Minimality Notions via Factorization Systems and Examples
• scientific article; zbMATH DE number 7649888 (Why is no real title available?)
• A categorical framework for learning generalised tree automata
• Combining semilattices and semimodules
• A coalgebraic view on reachability
• scientific article; zbMATH DE number 7577582 (Why is no real title available?)
• A categorical approach to coalgebraic fixpoint logic
• Proving behavioural apartness

This page was built for publication: Coalgebra learning via duality

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