The following pages link to Alternating Weighted Automata (Q3183592):
Displaying 35 items.
- Weighted finite automata over hemirings (Q388788) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Fuzzy alternating automata over distributive lattices (Q781276) (← links)
- Containment and equivalence of weighted automata: probabilistic and max-plus cases (Q782553) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- Alternating weighted automata over commutative semirings (Q1637338) (← links)
- Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Weighted automata (Q2074206) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Expressiveness and closure properties for quantitative languages (Q2786127) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- The validity of weighted automata (Q2842025) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Automata with Auxiliary Weights (Q2970201) (← links)
- Finite-Valued Weighted Automata. (Q2978508) (← links)
- Regular Expressions on Average and in the Long Run (Q3073640) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- Modeling for Verification (Q3176361) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)
- (Q4536377) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q5092439) (← links)
- Bidirectional nested weighted automata (Q5111617) (← links)
- Decidable weighted expressions with Presburger combinators (Q5915759) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)
- Bideterministic weighted automata (Q6108730) (← links)
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (Q6137852) (← links)
- Determinization of integral discounted-sum automata is decidable (Q6629458) (← links)
- A Nivat theorem for weighted alternating automata over commutative semirings (Q6649528) (← links)
