Recommendations
Cites work
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3757688 (Why is no real title available?)
- scientific article; zbMATH DE number 1989659 (Why is no real title available?)
- scientific article; zbMATH DE number 2084388 (Why is no real title available?)
- scientific article; zbMATH DE number 1825622 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- A Temporal Logic for the Interaction of Strategies
- ATL Satisfiability is Indeed EXPTIME-complete
- ATL with Strategy Contexts and Bounded Memory
- ATL with strategy contexts: expressiveness and model checking
- Alternating-time temporal logic
- Complexity hierarchies beyond elementary
- Equilibrium points in n -person games
- Games with secure equilibria
- Many-dimensional modal logics: theory and applications
- Model-checking iterated games
- On satisfiability in ATL with strategy contexts
- Quantified CTL: expressiveness and complexity
- Quantified CTL: expressiveness and model checking (extended abstract)
- Reasoning about actions meets strategic logics
- Reasoning about strategies
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable
- Satisfiability of \textsf{ATL} with strategy contexts
- Strategy Logic
- The equational theory of CA3 is undecidable
- Towards an updatable strategy logic
- What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
Cited in
(28)- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
- Dependences in strategy logic
- Dependences in strategy logic
- On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- Quantifying Bounds in Strategy Logic
- scientific article; zbMATH DE number 7361818 (Why is no real title available?)
- Formal verification and synthesis of mechanisms for social choice
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Module checking of pushdown multi-agent systems
- ATL with strategy contexts: expressiveness and model checking
- Taming strategy logic: non-recurrent fragments
- Model-checking iterated games
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Temporal logics for games
- Verification of multi-agent systems with public actions against strategy logic
- On satisfiability in ATL with strategy contexts
- On the semantics of strategy logic
- Complete axiomatization and decidability of the logic of two-agent cooperative strategic interaction
- Satisfiability of \textsf{ATL} with strategy contexts
- Finitely defined preference and preference indiscernibility in ATL with strategy contexts
- ATL with Strategy Contexts and Bounded Memory
- scientific article; zbMATH DE number 7438567 (Why is no real title available?)
- Robust alternating-time temporal logic
- Epistemic ATL with perfect recall, past and strategy contexts
- Nash equilibria in symmetric graph games with partial observation
This page was built for publication: Augmenting ATL with strategy contexts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897650)
