The following pages link to Strategy Logic (Q3525629):
Displaying 4 items.
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Strategic reasoning: building cognitive models from logical formulas (Q2255230) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
- The complexity of LTL rational synthesis (Q6492405) (← links)
