Semirings, automata, languages
Semirings, automata, languages
Rational series and their languages
Rational series and their languages
Handbook of theoretical computer science (vol. B)
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Finite Automata Computing Real Functions
SIAM Journal on Computing
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Semirings and formal power series: their relevance to formal languages and automata
Handbook of formal languages, vol. 1
Languages, automata, and logic
Handbook of formal languages, vol. 3
A design principles of a weighted finite-state transducer library
Theoretical Computer Science - Special issue on implementing automata
Information Sciences—Informatics and Computer Science: An International Journal
Symbolic Model Checking
Automata, Languages, and Machines
Automata, Languages, and Machines
Automata: Theoretic Aspects of Formal Power Series
Automata: Theoretic Aspects of Formal Power Series
Similarity Enrichment in Image Compression through Weighted Finite Automata
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Image and video coding with weighted finite automata
ICIP '97 Proceedings of the 1997 International Conference on Image Processing (ICIP '97) 3-Volume Set-Volume 1 - Volume 1
Finite-state transducers in language and speech processing
Computational Linguistics
Fuzzy regular languages over finite and infinite words
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Skew and infinitary formal power series
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Weighted automata and weighted logics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Weighted automata and weighted logics
Theoretical Computer Science
Weighted Distributed Systems and Their Logics
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Weighted Logics for Nested Words and Algebraic Formal Power Series
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Automata-Based Axiom Pinpointing
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Definable transductions and weighted logics for texts
Theoretical Computer Science
Definable transductions and weighted logics for texts
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Weighted automata and weighted logics with discounting
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Weighted muller tree automata and weighted logics
Journal of Automata, Languages and Combinatorics
MSO logics for weighted timed automata
Formal Methods in System Design
The complexity of mean-payoff automaton expression
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Minimal DFA for symmetric difference NFA
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Multi-Valued MSO Logics OverWords and Trees
Fundamenta Informaticae
Hi-index | 0.00 |
We introduce weighted automata over infinite words with Muller acceptance condition and we show that their behaviors coincide with the semantics of weighted restricted MSO-sentences. Furthermore, we establish an equivalence property of weighted Muller and weighted Büchi automata over certain semirings.