Pages that link to "Item:Q3066109"
From MaRDI portal
The following pages link to Relentful Strategic Reasoning in Alternating-Time Temporal Logic (Q3066109):
Displaying 7 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- A Temporal Logic for the Interaction of Strategies (Q3090849) (← links)
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)