RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This is achieved keeping in mind possible safety-critical uses of the MAS, such as robotic applications. This layer is capable...

Full description

Bibliographic Details
Main Authors: Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
Format: Article
Language:English
Published: MDPI AG 2023-03-01
Series:Robotics
Subjects:
Online Access:https://www.mdpi.com/2218-6581/12/2/49