The following pages link to (Q2908843):
Displayed 13 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- A Temporal Logic for the Interaction of Strategies (Q3090849) (← links)