Pages that link to "Item:Q4635631"
From MaRDI portal
The following pages link to Equilibria of concurrent games on event structures (Q4635631):
Displayed 6 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)
- 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)