Similar Items: Thin Games with Symmetry and Concurrent Hyland-Ong Games
- From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
- Recursive Concurrent Stochastic Games
- Pure Nash Equilibria in Concurrent Deterministic Games
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
- Verification of Correlated Equilibria in Concurrent Reachability Games
- Register Games