Pages that link to "Item:Q5901225"
From MaRDI portal
The following pages link to Recursive Concurrent Stochastic Games (Q5901225):
Displayed 11 items.
- Strategy improvement for concurrent reachability and turn-based stochastic safety games (Q355506) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Equilibria, fixed points, and complexity classes (Q458480) (← links)
- Qualitative reachability in stochastic BPA games (Q719240) (← links)
- The complexity of solving reachability games using value and strategy iteration (Q2254503) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- New Algorithms for Solving Zero-Sum Stochastic Games (Q4991675) (← links)
- (Q5111270) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- A formula for the value of a stochastic game (Q5854792) (← links)