Bisimulation metrics for weighted automata
From MaRDI portal
Publication:5111435
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)