Theoretical Computer Science

DOI10.1007/11560586MaRDI QIDQ5395080zbMATH OpenOpenAlexFDO

Authors Wojciech Jamroga, J. Dix

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11560586

zbMATH Keywords

computational complexitygames with incomplete informationmulti-agent systemsstrategic abilitytemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Strategic Equilibria
• Approximate verification of strategic abilities under imperfect information
• Model Checking Logics of Strategic Ability: Complexity*
• Reasoning about strategies: on the model-checking problem
• Model checking abilities of agents: a closer look
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
• Easy Yet Hard: Model Checking Strategies of Agents

Cited in

(17)

• Approximate verification of strategic abilities under imperfect information
• Model checking abilities of agents: a closer look
• Synthesis and verification of uniform strategies for multi-agent systems
• Model Checking Logics of Strategic Ability: Complexity*
• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability
• Easy Yet Hard: Model Checking Strategies of Agents
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
• Constructive knowledge: what agents can achieve under imperfect information
• Model-checking for heterogeneous multi-agent systems
• Alternating-time temporal logic with finite-memory strategies
• scientific article; zbMATH DE number 7368338 (Why is no real title available?)
• Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
• scientific article; zbMATH DE number 7533366 (Why is no real title available?)
• Towards partial order reductions for strategic ability
• A Hennessy-Milner theorem for ATL with imperfect information
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Describes a project that uses

Uses Software

• MOCHA

This page was built for publication: Theoretical Computer Science

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