The following pages link to (Q5417672):
Displayed 5 items.
- Determinacy and optimal strategies in infinite-state stochastic reachability games (Q391114) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- (Q5005142) (← links)
- Subgame optimal strategies in finite concurrent games with prefix-independent objectives (Q6091217) (← links)