Similar Items: Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
- Pure Nash Equilibria in Concurrent Deterministic Games
- Verification of Correlated Equilibria in Concurrent Reachability Games
- The Complexity of Nash Equilibria in Stochastic Multiplayer Games
- The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
- Subgame-perfect Equilibria in Mean-payoff Games (journal version)
- Independence and concurrent separation logic