Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

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 …

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 …

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 …

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

When applying formal verification to a system that interacts with the real world we must use a
model of the environment. This model represents an abstraction of the actual environment …

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 …

We describe DecAMon, an algorithm for decentralizing the monitoring of the MAS
communicative behavior described via an Agent Interaction Protocol (AIP). If some agents in …

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 …