Verification of heterogeneous multi-agent system using MCMAS

DOI10.1080/00207721.2013.793890MaRDI QIDQ5265639zbMATH OpenOpenAlexFDO

Authors Seungkeun Kim, Antonios Tsourdos, Ji Young Choi

Publication date 28 July 2015

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207721.2013.793890

zbMATH Keywords

computational temporal logicheterogeneous multi-agent systemKripke modelmodel checking

Mathematics Subject Classification ID

Logic in computer science (03B70) Agent technology and artificial intelligence (68T42) System identification (93B30) Multivariable systems, multidimensional control systems (93C35)

Recommendations

• Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
• Heterogeneous verification of cyber-physical systems using behavior relations
• Verifying autonomous systems
• Combined model checking for temporal, probabilistic, and real-time logics
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Cites work

• scientific article; zbMATH DE number 1307655 (Why is no real title available?)
• scientific article; zbMATH DE number 795668 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
• POC net, a subclass of Petri nets, and its application to timed Petri nets
• Task level specification and formal verification of robotics control systems: State of the art and case study

Cited in

(5)

• Heterogeneous verification of cyber-physical systems using behavior relations
• mcmas: A Model Checker for Multi-agent Systems
• Detection and diagnosis of deviations in distributed systems of autonomous agents
• When human intuition fails: using formal methods to find an error in the ``proof of a multi-agent protocol
• Formal verification of BDI agents

Describes a project that uses

Uses Software

• SPIN
• MCMAS

This page was built for publication: Verification of heterogeneous multi-agent system using MCMAS

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