The following pages link to (Q5357713):
Displaying 13 items.
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Timed network games (Q2112796) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- Dynamic resource allocation games (Q2286736) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Hierarchical Network Formation Games (Q3303895) (← links)
- Timed network games with clocks (Q5005123) (← links)
- (Q5111251) (← links)
- (Q5111630) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- (Q5856414) (← links)
- (Q5875381) (← links)
- (Q5875383) (← links)