Pages that link to "Item:Q4635631"
From MaRDI portal
The following pages link to Equilibria of concurrent games on event structures (Q4635631):
Displaying 8 items.
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Node-consistent Shapley value for games played over event trees with random terminal time (Q1682982) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Partial order games (Q2669153) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- (Q4972730) (← links)
- The game semantics of game theory (Q6612787) (← links)