The following pages link to (Q5875374):
Displaying 5 items.
- Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives (Q2029600) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games (Q2203592) (← links)
- Subgame-perfect Equilibria in Mean-payoff Games (journal version) (Q6178672) (← links)
- Computing the price of anarchy in atomic network congestion games (invited talk) (Q6536424) (← links)
