On the Expressiveness and Complexity of ATL

DOI10.2168/LMCS-4(2:7)2008MaRDI QIDQ3518283zbMATH OpenFDO

Authors François Laroussinie, Nicolas Markey, Ghassan Oreiby

Publication date 7 August 2008

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-4(2:7)2008

zbMATH Keywords

alternating bisimulationalternating transition systemsconcurrent game structuresmodel checkingmulti-agent systemstemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic in artificial intelligence (68T27)

Recommendations

• On the Expressiveness and Complexity of ATL
• Model checking abilities of agents: a closer look
• scientific article; zbMATH DE number 2086522
• ATL with strategy contexts: expressiveness and model checking
• ATL Satisfiability is Indeed EXPTIME-complete

Cited in

(18)

• Dependences in strategy logic
• Expressivity of some versions of APAL
• 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
• Model checking abilities of agents: a closer look
• On satisfiability in ATL with strategy contexts
• Verifying agents with memory is harder than it seemed
• Specification and Verification of Multi-Agent Systems
• Dependences in strategy logic
• On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking
• ATL Satisfiability is Indeed EXPTIME-complete
• ATL with Strategy Contexts and Bounded Memory
• scientific article; zbMATH DE number 2086522 (Why is no real title available?)
• Differential game logic
• On the Expressiveness and Complexity of ATL
• On the complexity of resource-bounded logics
• Where logic and agents meet

This page was built for publication: On the Expressiveness and Complexity of ATL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3518283)