The following pages link to The Target Discounted-Sum Problem (Q4635852):
Displayed 6 items.
- Reachability problems in low-dimensional nondeterministic polynomial maps over integers (Q2051802) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Reachability Problems for One-Dimensional Piecewise Affine Maps (Q3177337) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)