Pages that link to "Item:Q2817409"
From MaRDI portal
The following pages link to Logics for Reasoning About Strategic Abilities in Multi-player Games (Q2817409):
Displaying 14 items.
- A logic of strategic ability under bounded memory (Q1006515) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Reasoning in large games with unboundedly many players (Q2148813) (← links)
- Data-informed knowledge and strategies (Q2152494) (← links)
- A logic for conditional local strategic reasoning (Q2155205) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Fast interpreter for logical reasoning in general game playing (Q2957963) (← links)
- Model Checking Logics of Strategic Ability: Complexity* (Q3056329) (← links)
- (Q3455601) (← links)
- (Q4738570) (← links)
- (Q4999204) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games. (Q5278311) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)