Probabilistic Weighted Automata

DOI10.1007/978-3-642-04081-8_17zbMath1254.68133arXiv0909.1647OpenAlexW1846916502MaRDI QIDQ3184677

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger

Publication date: 22 October 2009

Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0909.1647

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (13)

Event algebra for transition systems composition application to timed automata ⋮ Randomization in Automata on Infinite Trees ⋮ 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 the comparison of discounted-sum automata with multiple discount factors ⋮ On the Verification of Weighted Kripke Structures Under Uncertainty ⋮ A Nivat theorem for weighted picture automata and weighted MSO logics ⋮ A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic ⋮ Weighted restarting automata ⋮ Regular Expressions on Average and in the Long Run ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ Valuations of Weighted Automata: Doing It in a Rational Way ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Skew and infinitary formal power series
• Positional strategies for mean payoff games
• Undecidable problems for probabilistic automata of fixed dimension
• Automata, logics, and infinite games. A guide to current research
• Expressiveness and Closure Properties for Quantitative Languages
• Alternating Weighted Automata
• Quantitative Languages
• Finite Automata Computing Real Functions
• The complexity of probabilistic verification
• Mathematical Foundations of Computer Science 2004
• On Decision Problems for Probabilistic Büchi Automata
• Automata, Languages and Programming
• Correct Hardware Design and Verification Methods
• Probabilistic automata
• Stochastic Games

This page was built for publication: Probabilistic Weighted Automata