SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems

DOI10.1093/LOGCOM/EXW032MaRDI QIDQ3133186zbMATH OpenOpenAlexFDO

Authors Jerzy Pilecki, Marek Bednarczyk, Wojciech Jamroga

Publication date 13 February 2018

Full work available at URL https://doi.org/10.1093/logcom/exw032

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Synthesis and verification of uniform strategies for multi-agent systems
• Model-checking for heterogeneous multi-agent systems
• Theoretical Computer Science
• Model checking abilities of agents: a closer look
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

Cited in

(9)

• Synthesis and verification of uniform strategies for multi-agent systems
• A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability
• Knowledge-based strategies for multi-agent teams playing against nature
• Model checking and strategy synthesis for multi-agent systems for resource allocation
• Towards partial order reductions for strategic ability
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
• Finding Uniform Strategies for Multi-agent Systems
• Approximate verification of strategic abilities under imperfect information
• Model-checking for heterogeneous multi-agent systems

This page was built for publication: SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems

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