The following pages link to Iterated Boolean games (Q2346405):
Displayed 14 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)
- Boolean Network Games and Iterated Boolean Games (Q3457718) (← links)
- (Q4972730) (← links)
- (Q5016798) (← links)
- (Q5111630) (← links)