The following pages link to Reasoning About Strategies (Q2946746):
Displaying 15 items.
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Imperfect information in reactive modules games (Q1641035) (← 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)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
- Stackelberg-Pareto synthesis (Q6492409) (← links)
