ATL with Strategy Contexts and Bounded Memory
From MaRDI portal
Recommendations
- ATL with strategy contexts: expressiveness and model checking
- On satisfiability in ATL with strategy contexts
- Satisfiability of \textsf{ATL} with strategy contexts
- scientific article; zbMATH DE number 7368413
- Augmenting ATL with strategy contexts
- On the Expressiveness and Complexity of ATL
- On the Expressiveness and Complexity of ATL
- Alternating-time temporal logic with finite-memory strategies
- Alternating-time temporal logic ATL with finitely bounded semantics
- Model-checking for resource-bounded ATL with production and consumption of resources
Cites work
- A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
- Alternating-time logic with imperfect recall
- Alternating-time temporal logic
- ATL with Strategy Contexts and Bounded Memory
- Games with secure equilibria
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3757688 (Why is no real title available?)
- Infinite Games
- Module checking
- On the Expressiveness and Complexity of ATL
- On the synthesis of strategies in infinite games
- Strategy Logic
Cited in
(36)- Reasoning about temporal properties of rational play
- Graded modalities in strategy logic
- Model-checking iterated games
- Reasoning about graded strategy quantifiers
- Dependences in strategy logic
- Alternating-time temporal logics with linear past
- On composition of bounded-recall plans
- A logic for conditional local strategic reasoning
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
- Natural strategic ability
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- A logic with revocable and refinable strategies
- ATL with strategy contexts: expressiveness and model checking
- Epistemic ATL with perfect recall, past and strategy contexts
- On satisfiability in ATL with strategy contexts
- Reasoning about strategies: on the model-checking problem
- Relentful strategic reasoning in alternating-time temporal logic
- Verifying agents with memory is harder than it seemed
- Relentful strategic reasoning in alternating-time temporal logic
- A formal treatment of agents, goals and operations using alternating-time temporal logic
- Dependences in strategy logic
- A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability
- Reasoning about strategies under partial observability and fairness constraints
- Temporal logics for games
- ATL with Strategy Contexts and Bounded Memory
- Alternating-time temporal logic with finite-memory strategies
- Satisfiability of \textsf{ATL} with strategy contexts
- scientific article; zbMATH DE number 7368413 (Why is no real title available?)
- scientific article; zbMATH DE number 7438567 (Why is no real title available?)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Results on alternating-time temporal logics with linear past
- \(\mathsf{ATL}^\star\) with truly perfect recall: expressivity and validities
- Stochastic game logic
- Complete axiomatization and decidability of the logic of two-agent cooperative strategic interaction
- Finitely defined preference and preference indiscernibility in ATL with strategy contexts
- Augmenting ATL with strategy contexts
This page was built for publication: ATL with Strategy Contexts and Bounded Memory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605522)
