Bisimulation metrics for weighted automata

DOI10.4230/LIPICS.ICALP.2017.103MaRDI QIDQ5111435zbMATHOpenAlexFDO

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

spectral theorybisimulationmetricsweighted automataspectral learning

Mathematics Subject Classification ID

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

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

(9)

• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
• Weighted Bisimulation in Linear Algebraic Form
• Generalized Bisimulation Metrics
• Weighted Automata over Vector Spaces
• Singular value automata and approximate minimization
• scientific article; zbMATH DE number 7566075 (Why is no real title available?)
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• Bisimulation metrics and norms for real-weighted automata
• Bisimulation relations for weighted automata

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)