scientific article; zbMATH DE number 7533366

DOI10.4230/LIPICS.TIME.2018.3MaRDI QIDQ5079765zbMATH OpenFDO

Authors Wojciech Jamroga

Publication date 28 May 2022

zbMATH Keywords

model checkingalternating-time temporal logicstrategic abilitymodel reductionsapproximate verificationimperfect information games

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Model Checking Logics of Strategic Ability: Complexity*
• Reasoning about strategies: on the model-checking problem
• Model Checking Strategic Equilibria
• Theoretical Computer Science
• Model checking abilities of agents: a closer look
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
• Easy Yet Hard: Model Checking Strategies of Agents
• Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

Cites work

• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• Approximate verification of strategic abilities under imperfect information
• Model Checking Logics of Strategic Ability: Complexity*
• Models of strategic reasoning. Logics, games, and communities
• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
• Relating paths in transition systems: the fall of the modal mu-calculus
• Synthesis and verification of uniform strategies for multi-agent systems

Cited in

(2)

• Model Checking Logics of Strategic Ability: Complexity*
• How different can strategic models be?

Describes a project that uses

Uses Software

• MCMAS

This page was built for publication:

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