The following pages link to (Q5005144):
Displaying 10 items.
- The complexity of solving reachability games using value and strategy iteration (Q2254503) (← links)
- (Q3202155) (← links)
- Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698) (← links)
- (Q3509843) (← links)
- Localization of optimal strategies in certain games (Q4306272) (← links)
- (Q4339226) (← links)
- (Q4411832) (← links)
- (Q5021006) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Resource Reachability Games on Pushdown Graphs (Q5410673) (← links)