Model-checking for heterogeneous multi-agent systems

DOI10.13328/J.CNKI.JOS.005462MaRDI QIDQ4624673zbMATH OpenFDO

Authors Yedi Zhang, Fu Song

Publication date 22 February 2019

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.005462

zbMATH Keywords

alternating-time temporal logicmodel-checkingmulti-agent system

Mathematics Subject Classification ID

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

Recommendations

• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• Synthesis and verification of uniform strategies for multi-agent systems
• Model checking abilities of agents: a closer look
• scientific article; zbMATH DE number 1202873
• Theoretical Computer Science

Cited in

(7)

• Synthesis and verification of uniform strategies for multi-agent systems
• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• mcmas: A Model Checker for Multi-agent Systems
• Abstraction for model checking multi-agent systems
• scientific article; zbMATH DE number 1950649 (Why is no real title available?)
• scientific article; zbMATH DE number 1759731 (Why is no real title available?)
• Verification of multi-agent systems with public actions against strategy logic

This page was built for publication: Model-checking for heterogeneous multi-agent systems

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