Pages that link to "Item:Q897650"
From MaRDI portal
The following pages link to Augmenting ATL with strategy contexts (Q897650):
Displaying 15 items.
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- (Q3384177) (← links)
- (Q5013877) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- (Q5101338) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
