Pages that link to "Item:Q3605522"
From MaRDI portal
The following pages link to ATL with Strategy Contexts and Bounded Memory (Q3605522):
Displaying 25 items.
- Stochastic game logic (Q715046) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- A logic for conditional local strategic reasoning (Q2155205) (← links)
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
- Natural strategic ability (Q2289013) (← links)
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- ATL with strategy contexts: expressiveness and model checking (Q2908843) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Relentful strategic reasoning in alternating-time temporal logic (Q2957961) (← links)
- A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic (Q3098057) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- ATL with Strategy Contexts and Bounded Memory (Q3605522) (← links)
- (Q4999260) (← links)
- (Q5013877) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Results on alternating-time temporal logics with linear past (Q5079770) (← links)
