Coalgebra learning via duality

DOI10.1007/978-3-030-17127-8_4OpenAlexW2914382977MaRDI QIDQ2289063FDOQ2289063

Authors: Simone Barlocco, Clemens Kupke, Jurriaan Rot 

Publication date: 28 January 2020

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

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

Mathematics Subject Classification ID

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

Cited In (13)

• A categorical framework for learning generalised tree automata
• Combining semilattices and semimodules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coalgebraic view on reachability
• Minimality Notions via Factorization Systems and Examples
• Title not available (Why is that?)
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
• A Myhill-Nerode theorem for higher-dimensional automata
• A categorical approach to coalgebraic fixpoint logic
• Proving behavioural apartness
• A new approach for active automata learning based on 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)