Pages that link to "Item:Q3066109"
From MaRDI portal
The following pages link to Relentful Strategic Reasoning in Alternating-Time Temporal Logic (Q3066109):
Displaying 5 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)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
