Augmenting ATL with strategy contexts

DOI10.1016/J.IC.2014.12.020zbMATH Open1332.68140OpenAlexW824553004MaRDI QIDQ897650FDOQ897650

Authors: François Laroussinie, Nicolas Markey 

Publication date: 7 December 2015

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2014.12.020

Recommendations

• ATL with strategy contexts: expressiveness and model checking
• ATL with Strategy Contexts and Bounded Memory
• Satisfiability of \textsf{ATL} with strategy contexts
• On satisfiability in ATL with strategy contexts
• Temporal logics for games

zbMATH Keywords

model checkingsatisfiabilitytemporal logicsgames for synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Equilibrium points in n -person games
• Alternating-time temporal logic
• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• Complexity hierarchies beyond elementary
• The equational theory of CA₃ is undecidable
• Reasoning about strategies
• What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
• Strategy Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Games with secure equilibria
• ATL with strategy contexts: expressiveness and model checking
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Title not available (Why is that?)
• Reasoning about Actions Meets Strategic Logics
• A Temporal Logic for the Interaction of Strategies
• Title not available (Why is that?)
• Quantified CTL: expressiveness and model checking (extended abstract)
• ATL with Strategy Contexts and Bounded Memory
• Quantified CTL: Expressiveness and Complexity
• On satisfiability in ATL with strategy contexts
• Title not available (Why is that?)
• ATL Satisfiability is Indeed EXPTIME-complete
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model-checking iterated games

Cited In (23)

• \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
• Dependences in strategy logic
• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
• Title not available (Why is that?)
• Quantifying Bounds in Strategy Logic
• Dependences in Strategy Logic
• Title not available (Why is that?)
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• 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
• Title not available (Why is that?)
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Temporal logics for games
• On satisfiability in ATL with strategy contexts
• Verification of multi-agent systems with public actions against strategy logic
• On the semantics of strategy logic
• ATL with Strategy Contexts and Bounded Memory
• Title not available (Why is that?)
• Robust alternating-time temporal logic
• Epistemic ATL with perfect recall, past and strategy contexts
• Nash equilibria in symmetric graph games with partial observation

Uses Software

• CESAR
• MCMAS
• MCMAS-SLK

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)