Alternating Weighted Automata
From MaRDI portal
Publication:3183592
DOI10.1007/978-3-642-03409-1_2zbMath1252.68167OpenAlexW2114901588MaRDI QIDQ3183592
Laurent Doyen, Krishnendu Chatterjee, Thomas A. Henzinger
Publication date: 20 October 2009
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03409-1_2
Related Items (24)
Modeling for Verification ⋮ Alternating weighted automata over commutative semirings ⋮ Probabilistic Weighted Automata ⋮ Fuzzy alternating Büchi automata over distributive lattices ⋮ Weighted finite automata over hemirings ⋮ 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 ⋮ A Nivat theorem for weighted picture automata and weighted MSO logics ⋮ A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings ⋮ Quantitative vs. weighted automata ⋮ Quantitative Automata under Probabilistic Semantics ⋮ An improved algorithm for determinization of weighted and fuzzy automata ⋮ Unnamed Item ⋮ Determinization of weighted finite automata over strong bimonoids ⋮ A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic ⋮ Regular Expressions on Average and in the Long Run ⋮ What's decidable about weighted automata? ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ 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 ⋮ Fuzzy alternating automata over distributive lattices ⋮ Bidirectional nested weighted automata
This page was built for publication: Alternating Weighted Automata
