Weighted Automata and Weighted Logics with Discounting

DOI10.1007/978-3-540-76336-9_9zbMath1139.68361OpenAlexW2125939438MaRDI QIDQ3503896

George Rahonis, Manfred Droste

Publication date: 10 June 2008

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76336-9_9

zbMATH Keywords

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (8)

Weighted automata and weighted logics with discounting ⋮ Definable transductions and weighted logics for texts ⋮ Weighted Automata and Weighted Logics ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Weighted logics for unranked tree automata ⋮ A Büchi-like theorem for weighted tree automata over multioperator monoids ⋮ Weighted automata with discounting ⋮ Weighted versus Probabilistic Logics

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
• Weighted tree automata and weighted logics
• Linear and combinatorial optimization in ordered algebraic structures
• The design principles of a weighted finite-state transducer library
• Weak Second‐Order Arithmetic and Finite Automata
• On the definition of a family of automata
• Weighted Logics for Traces
• 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
• Methods and applications of (max,+) linear algebra
• Definable Transductions and Weighted Logics for Texts
• Weighted Picture Automata and Weighted Logics
• Automata, Languages and Programming
• Stochastic Games
• Automata theory and its applications

This page was built for publication: Weighted Automata and Weighted Logics with Discounting