Pages that link to "Item:Q5891775"
From MaRDI portal
The following pages link to Quantitative Languages Defined by Functional Automata (Q5891775):
Displaying 9 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games (Q520343) (← links)
- Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390) (← links)
- Sequentiality of group-weighted tree automata (Q2232288) (← links)
- A note on the approximation of mean-payoff games (Q2446598) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Quantitative Languages (Q3540192) (← links)
- On the Quantized Dynamics of Factorial Languages (Q4684197) (← links)