The following pages link to (Q5357711):
Displaying 4 items.
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games (Q520343) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- Probabilistic causes in Markov chains (Q2147196) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)