The following pages link to Strategy Logic (Q3525629):
Displayed 29 items.
- Synthesis with rational environments (Q314471) (← links)
- Network-formation games with regular objectives (Q342715) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Timed network games (Q2112796) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Strategic reasoning: building cognitive models from logical formulas (Q2255230) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Verifying Team Formation Protocols with Probabilistic Model Checking (Q3092303) (← links)
- Strategies in Games: A Logic-Automata Study (Q3166989) (← links)
- Hierarchical Network Formation Games (Q3303895) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- ATL with Strategy Contexts and Bounded Memory (Q3605522) (← links)
- (Q4972740) (← links)
- (Q5005123) (← links)
- (Q5013877) (← links)
- Constructive Game Logic (Q5041088) (← links)
- (Q5111251) (← links)
- (Q5111621) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)