Pages that link to "Item:Q2914371"
From MaRDI portal
The following pages link to What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic (Q2914371):
Displaying 24 items.
- Synthesis with rational environments (Q314471) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Natural strategic ability (Q2289013) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Robust Equilibria in Mean-Payoff Games (Q2811341) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- (Q3384167) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Differential Game Logic (Q5277902) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)
