Weighted synchronous automata

DOI10.1017/S0960129522000421MaRDI QIDQ5889309zbMATH OpenFDO

Authors Leandro G. Gomes, Alexandre Madeira, L. S. Barbosa

Publication date 19 April 2023

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

regular languagesweighted automatasynchronous languages

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Introducing synchrony in fuzzy automata
• Min-weighted and max-weighted power automata
• Fuzzy -automata
• Infinite fuzzy computations
• Weighted automata

Cites work

• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1542833 (Why is no real title available?)
• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
• A calculus of communicating systems
• A deontic logic of action
• A probabilistic Kleene theorem
• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• An axiomatic proof technique for parallel programs
• Concurrent Kleene algebra and its foundations
• Concurrent Kleene algebra with tests and branching automata
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Introducing synchrony in fuzzy automata
• New directions in fuzzy automata
• On the average size of Glushkov and equation automata for KAT expressions
• Probabilistic automata
• Probabilistic concurrent Kleene algebra
• Probabilistic rely-guarantee calculus
• Synchronous Kleene algebra
• Turing, computing and communication
• Using Probabilistic Kleene Algebra for Protocol Verification

Cited in

(3)

• \(\gamma\)-synchronized fuzzy automata and their applications
• Alternating Weighted Automata
• Weighted automata

This page was built for publication: Weighted synchronous automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5889309)