The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

Runtime verification (RV) is an approach to verification consisting in dynamically checking
that the event traces generated by single runs of a system under scrutiny (SUS) are …

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 …

Parametricity [14] is an important feature of a monitoring system for making runtime
verification (RV) more effective, since, typically, correctness of traces depends on the …

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 …

Communication protocols are central to engineering decentralized multiagent systems.
Modern protocol languages are typically formal and address aspects of decentralization …

Interactions between agents are usually designed from a global viewpoint. However, the
implementation of a multi-agent interaction is distributed. It is well known that this difference …

Chatbots are here to stay, and are going to be deployed in various application domains.
Unfortunately, amongst them, there are safety-critical ones. Thus, we need a way to …

Abstract Multiagent Systems (MASs) are distributed systems composed by autonomous,
reactive, proactive, heterogeneous communicating entities. In order to dynamically verify the …