Pages that link to "Item:Q3090849"
From MaRDI portal
The following pages link to A Temporal Logic for the Interaction of Strategies (Q3090849):
Displayed 6 items.
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)