The following pages link to (Q5111630):
Displaying 5 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- (Q5875383) (← links)
