Weighted automata and weighted logics with discounting

DOI10.1016/j.tcs.2009.03.029zbMath1191.68382OpenAlexW2119375992MaRDI QIDQ840767

Manfred Droste, George Rahonis

Publication date: 14 September 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.03.029

zbMATH Keywords

discountingformal power seriesweighted automataweighted MSO logicweighted Büchi and Muller automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (13)

Stochastization of Weighted Automata ⋮ Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics ⋮ Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ On weighted first-order logics with discounting ⋮ A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. ⋮ Weighted modal transition systems ⋮ Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ ⋮ On High-Quality Synthesis ⋮ Quantitative analysis of weighted transition systems ⋮ Equational Weighted Tree Transformations with Discounting ⋮ Valuations of Weighted Automata: Doing It in a Rational Way ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Weighted automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of weighted automata
• Skew and infinitary formal power series
• Weighted tree automata and weighted logics
• On aperiodic and star-free formal power series in partially commuting variables
• Weighted automata with discounting
• Linear and combinatorial optimization in ordered algebraic structures
• The design principles of a weighted finite-state transducer library
• Weighted automata and weighted logics
• Weighted logics for unranked tree automata
• Weighted picture automata and weighted logics
• On the Determinization of Weighted Finite Automata
• Weak Second‐Order Arithmetic and Finite Automata
• On the definition of a family of automata
• Weighted Logics for Traces
• Weighted Automata and Weighted Logics with Discounting
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted Automata and Weighted Logics on Infinite Words
• Decision Problems of Finite Automata Design and Related Arithmetics
• Finite Automata Computing Real Functions
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Definable Transductions and Weighted Logics for Texts
• Weighted Distributed Systems and Their Logics
• Weighted Picture Automata and Weighted Logics
• Stochastic Games
• Automata theory and its applications

This page was built for publication: Weighted automata and weighted logics with discounting