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

DOI10.1093/LOGCOM/EXW032zbMATH Open1380.68283OpenAlexW2767386965MaRDI QIDQ3133186FDOQ3133186

Authors: Jerzy Pilecki, Marek Bednarczyk, Wojciech Jamroga 

Publication date: 13 February 2018

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

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

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)

Cited In (9)

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

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)