Pages that link to "Item:Q2786127"
From MaRDI portal
The following pages link to Expressiveness and closure properties for quantitative languages (Q2786127):
Displaying 30 items.
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Simulation distances (Q764284) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- On deterministic weighted automata (Q1799611) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Weighted automata (Q2074206) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- The validity of weighted automata (Q2842025) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Approximate Determinization of Quantitative Automata (Q2957513) (← 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)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q5089282) (← links)
- (Q5092440) (← links)
- Bidirectional nested weighted automata (Q5111617) (← links)
- Compositional Branching-Time Measurements (Q5170747) (← links)
- (Q5368011) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- Quantitative Languages Defined by Functional Automata (Q5891775) (← links)
- Decidable weighted expressions with Presburger combinators (Q5915759) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)
- Optimal repair for omega-regular properties (Q6160923) (← links)