Verification of heterogeneous multi-agent system using MCMAS
DOI10.1080/00207721.2013.793890zbMATH Open1316.93059OpenAlexW2063075513MaRDI QIDQ5265639FDOQ5265639
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
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
Agent technology and artificial intelligence (68T42) System identification (93B30) Multivariable systems, multidimensional control systems (93C35) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
- Title not available (Why is that?)
- Title not available (Why is that?)
- Task level specification and formal verification of robotics control systems: State of the art and case study
- POC net, a subclass of Petri nets, and its application to timed Petri nets
Cited In (4)
- Detection and diagnosis of deviations in distributed systems of autonomous agents
- Heterogeneous verification of cyber-physical systems using behavior relations
- When human intuition fails: using formal methods to find an error in the ``proof of a multi-agent protocol
- mcmas: A Model Checker for Multi-agent Systems
Uses Software
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)