Stochastization of Weighted Automata

DOI10.1007/978-3-662-48057-1_7zbMath1465.68130OpenAlexW2267157417MaRDI QIDQ2946327

Orna Kupferman, Guy Avni

Publication date: 16 September 2015

Published in: Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48057-1_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Randomized algorithms (68W20)

Related Items (3)

On the Verification of Weighted Kripke Structures Under Uncertainty ⋮ Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults ⋮ Identity-Based Hierarchical Key-Insulated Encryption Without Random Oracles

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rigorous approximated determinization of weighted automata
• On the undecidability of probabilistic planning and related stochastic optimization problems
• Weighted automata and weighted logics with discounting
• Competitive snoopy caching
• Competitive randomized algorithms for nonuniform problems
• Two Recursively Inseparable Problems for Probabilistic Automata
• Reasoning about online algorithms with weighted automata
• To Save Or Not To Save: The Fisher Game
• Temporal Specifications with Accumulative Values
• Parameterized Weighted Containment
• Formal Analysis of Online Algorithms
• Online Primal-Dual Algorithms for Maximizing Ad-Auctions Revenue
• Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• On the Complexity of Equivalence and Minimisation for Q-weighted Automata
• Formalizing and Reasoning about Quality
• Probabilistic automata

This page was built for publication: Stochastization of Weighted Automata