Bisimulation metrics and norms for real-weighted automata
From MaRDI portal
Publication:2064519
DOI10.1016/j.ic.2020.104649zbMath1483.68154arXiv1702.08017OpenAlexW3109694792MaRDI QIDQ2064519
Borja Balle, Prakash Panangaden, Pascale Gourdeau
Publication date: 6 January 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.08017
Related Items
Cites Work
- A coalgebraic perspective on linear weighted automata
- A spectral algorithm for learning hidden Markov models
- Spectral learning of weighted automata. A forward-backward perspective
- Metrics for labelled Markov processes
- On the undecidability of probabilistic planning and related stochastic optimization problems
- Handbook of weighted automata
- An explicit Lipschitz constant for the joint spectral radius
- Bisimulation through probabilistic testing
- Sets of matrices all infinite products of which converge
- Matrices de Hankel
- The generalized spectral radius and extremal norms
- On the accuracy of the ellipsoid norm approximation of the joint spectral radius
- Learning Weighted Automata
- Weighted Bisimulation in Linear Algebraic Form
- Bisimulation Metrics for Continuous Markov Decision Processes
- On the definition of a family of automata
- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
- A Canonical Form for Weighted Automata and Applications to Approximate Minimization
- Singular value automata and approximate minimization
- Algebra-coalgebra duality in brzozowski's minimization algorithm
- Corrigendum/addendum to: Sets of matrices all infinite products of which converge
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
