Pages that link to "Item:Q5404475"
From MaRDI portal
The following pages link to Exact and Approximate Determinization of Discounted-Sum Automata (Q5404475):
Displaying 8 items.
- Reactive synthesis without regret (Q520338) (← links)
- On satisficing in quantitative games (Q2044188) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Approximated determinisation of weighted tree automata (Q2232287) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- (Q5101346) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)
- Determinization of integral discounted-sum automata is decidable (Q6629458) (← links)
