Pages that link to "Item:Q3172937"

The following pages link to What’s Decidable about Weighted Automata? (Q3172937):

Displaying 39 items.

• Rigorous approximated determinization of weighted automata (Q385026) (← links)
• Integer weighted automata on infinite words (Q832935) (← links)
• Looking at mean payoff through foggy windows (Q1629743) (← links)
• Copyless cost-register automata: structure, expressiveness, and closure properties (Q1740663) (← links)
• CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
• Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845) (← links)
• A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
• Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
• Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
• Weighted automata (Q2074206) (← links)
• Image-binary automata (Q2096597) (← links)
• Freeness properties of weighted and probabilistic automata over bounded languages (Q2280319) (← links)
• Streamable regular transductions (Q2286735) (← links)
• Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
• When are emptiness and containment decidable for probabilistic automata? (Q2662671) (← links)
• Quantitative vs. weighted automata (Q2695484) (← links)
• Parameterized Weighted Containment (Q2946752) (← links)
• What's decidable about recursive hybrid automata? (Q2988912) (← links)
• Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (Q3195698) (← links)
• Up-To Techniques for Weighted Systems (Q3303913) (← links)
• Pumping lemmas for weighted automata (Q3304149) (← links)
• (Q5002806) (← links)
• Non-deterministic Weighted Automata on Random Words (Q5009422) (← links)
• (Q5028476) (← links)
• Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
• (Q5089282) (← links)
• (Q5089308) (← links)
• (Q5089314) (← links)
• (Q5101346) (← links)
• Comparison of max-plus automata and joint spectral radius of tropical matrices (Q5111233) (← links)
• (Q5136335) (← links)
• (Q5155668) (← links)
• Compositional Branching-Time Measurements (Q5170747) (← links)
• Unambiguity in Automata Theory (Q5500675) (← links)
• Weak Cost Register Automata are Still Powerful (Q5859644) (← links)
• Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
• Decidable weighted expressions with Presburger combinators (Q5915759) (← links)
• Integer Weighted Automata on Infinite Words (Q6169963) (← links)
• On polynomial recursive sequences (Q6614607) (← links)