Weighted Automata over Vector Spaces
From MaRDI portal
Publication:6204126
DOI10.4204/eptcs.386.7arXiv2309.02751OpenAlexW4386399976MaRDI QIDQ6204126
Nada Damljanović, Jelena Ignjatović, Miroslav Ćirić
Publication date: 9 April 2024
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2309.02751
Cites Work
- Unnamed Item
- Brzozowski type determinization for fuzzy automata
- A coalgebraic perspective on linear weighted automata
- Bisimulations for fuzzy automata
- An improved algorithm for determinization of weighted and fuzzy automata
- Further improvements of determinization methods for fuzzy finite automata
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Myhill-Nerode type theory for fuzzy languages and automata
- Fuzzy relation equations and reduction of fuzzy automata
- Determinization of weighted finite automata over strong bimonoids
- Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata
- Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable
- Bisimulation metrics and norms for real-weighted automata
- Bisimulations for weighted automata over an additively idempotent semiring
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Weighted Bisimulation in Linear Algebraic Form
- On the definition of a family of automata
- Introduction to Discrete Event Systems
- Crisp-determinization of weighted tree automata over strong bimonoids
- Bisimulation Metrics for Weighted Automata
