Bisimulation metrics for weighted automata

DOI10.4230/LIPICS.ICALP.2017.103MaRDI QIDQ5111435zbMATH OpenOpenAlexFDO

Authors Borja Balle, Pascale Gourdeau, Prakash Panangaden

Publication date 27 May 2020

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2017/7395/pdf/LIPIcs-ICALP-2017-103.pdf/

zbMATH Keywords

bisimulationmetricsspectral learningspectral theoryweighted automata

Mathematics Subject Classification ID

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

Recommendations

• Bisimulation metrics and norms for real-weighted automata
• Weighted Bisimulation in Linear Algebraic Form
• Bisimulation relations for weighted automata
• Bisimulations for weighted automata over an additively idempotent semiring
• The complexity of computing a bisimilarity pseudometric on probabilistic automata

Cited in

(11)

• Bisimulation metrics and norms for real-weighted automata
• Bisimulation relations for weighted automata
• Weighted Bisimulation in Linear Algebraic Form
• Generalized Bisimulation Metrics
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
• Singular value automata and approximate minimization
• Weighted Automata over Vector Spaces
• Optimal approximate minimization of one-letter weighted finite automata
• Optimal spectral-norm approximate minimization of weighted finite automata
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces

This page was built for publication: Bisimulation metrics for weighted automata

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