Semirings, automata, languages
Semirings, automata, languages
Rational series and their languages
Rational series and their languages
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
Automata, Languages, and Machines
Automata, Languages, and Machines
Automata: Theoretic Aspects of Formal Power Series
Automata: Theoretic Aspects of Formal Power Series
Towards more realistic (e.g., non-associative) “and”- and “or”-operations in fuzzy logic
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Weighted tree automata and weighted logics
Theoretical Computer Science
Weighted automata and weighted logics
Theoretical 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
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Weighted versus Probabilistic Logics
DLT '09 Proceedings of the 13th International Conference on Developments in Language Theory
DLT '09 Proceedings of the 13th International Conference on Developments in Language Theory
Expressiveness and Closure Properties for Quantitative Languages
LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Probabilistic Weighted Automata
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Weighted automata and weighted logics with discounting
Theoretical Computer Science
Handbook of Weighted Automata
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
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
Deductive multi-valued model checking
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Models for quantitative distributed systems and multi-valued logics
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Weighted tree automata over valuation monoids and their characterization by weighted logics
Algebraic Foundations in Computer Science
Valuations of weighted automata: doing it in a rational way
Algebraic Foundations in Computer Science
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Weighted automata and weighted MSO logics for average and long-time behaviors
Information and Computation
Hyperplane separation technique for multidimensional mean-payoff games
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |
Weighted automata model quantitative aspects of systems like memory or power consumption. Recently, Chatterjee, Doyen, and Henzinger introduced a new kind of weighted automata which compute objectives like the average cost or the longtime peak power consumption. In these automata, operations like average, limit superior, limit inferior, limit average, or discounting are used to assign values to finite or infinite words. In general, these weighted automata are not semiring weighted anymore. Here, we establish a connection between such new kinds of weighted automata and weighted logics. We show that suitable weighted MSO logics and these new weighted automata are expressively equivalent, both for finite and infinite words. The constructions employed are effective, leading to decidability results for the weighted logic formulas considered.