The following pages link to Computer Science Logic (Q5311283):
Displayed 33 items.
- Synthesis with rational environments (Q314471) (← links)
- Network-formation games with regular objectives (Q342715) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Selfish cops and passive robber: qualitative games (Q529065) (← links)
- Randomness for free (Q897644) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- On equilibria in quantitative games with reachability/safety objectives (Q1678747) (← links)
- A note on the Nash equilibria of some multi-player reachability/safety games (Q2068818) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Timed network games (Q2112796) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- Optimal strategies for selecting coordinators (Q2217494) (← links)
- The complexity of solving reachability games using value and strategy iteration (Q2254503) (← links)
- Dynamic resource allocation games (Q2286736) (← links)
- Generalized cops and robbers: a multi-player pursuit game on graphs (Q2292118) (← links)
- Selfish cops and active robber: multi-player pursuit evasion on graphs (Q2420619) (← links)
- Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games (Q2665331) (← links)
- On Pure Nash Equilibria in Stochastic Games (Q2948480) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- Hierarchical Network Formation Games (Q3303895) (← links)
- Decision Problems for Nash Equilibria in Stochastic Games (Q3644770) (← links)
- (Q5005123) (← links)
- (Q5015269) (← links)
- (Q5020524) (← links)
- (Q5089213) (← links)
- (Q5092367) (← links)
- (Q5111251) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- The Complexity of Nash Equilibria in Infinite Multiplayer Games (Q5458348) (← links)
- (Q5856414) (← links)
- (Q5875381) (← links)