The following pages link to Reasoning About Strategies (Q2946746):
Displaying 11 items.
- Theoretical Computer Science (Q5395080) (← links)
- Automatic Strategy Verification for Hex (Q5434459) (← links)
- (Q5856414) (← links)
- (Q5875381) (← 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)
- Strategies, Model Checking and Branching-Time Properties in Maude (Q6486043) (← links)
- Robust alternating-time temporal logic (Q6545584) (← links)
- A logical description of priority separable games (Q6562527) (← links)