The following pages link to Iterated Boolean games (Q2346405):
Displaying 21 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Natural strategic ability (Q2289013) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- Boolean Network Games and Iterated Boolean Games (Q3457718) (← links)
- (Q4972730) (← links)
- (Q5016798) (← links)
- (Q5111630) (← links)
- (Q5875383) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Who should be my friends? Social balance from the perspective of game theory (Q5918741) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention (Q6496422) (← links)
