Verification of heterogeneous multi-agent system using MCMAS
From MaRDI portal
Publication:5265639
DOI10.1080/00207721.2013.793890zbMath1316.93059OpenAlexW2063075513MaRDI QIDQ5265639
Seungkeun Kim, Antonios Tsourdos, Ji Young Choi
Publication date: 28 July 2015
Published in: International Journal of Systems Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207721.2013.793890
System identification (93B30) Multivariable systems, multidimensional control systems (93C35) Logic in computer science (03B70) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work
- 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
- Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
- Unnamed Item
- Unnamed Item
- Unnamed Item