Bisimulation metrics for weighted automata

DOI10.4230/LIPICS.ICALP.2017.103zbMATH Open1442.68080OpenAlexW2593702163MaRDI QIDQ5111435FDOQ5111435

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/

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

zbMATH Keywords

spectral theorybisimulationmetricsweighted automataspectral learning

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
• Singular value automata and approximate minimization
• Generalized Bisimulation Metrics
• Weighted Automata over Vector Spaces
• Bisimulation relations for weighted automata
• Bisimulation metrics and norms for real-weighted automata
• Title not available (Why is that?)
• Weighted Bisimulation in Linear Algebraic Form

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)