RV4JaCa -- Runtime Verification for Multi-Agent Systems

Alison R. Panisson (UFSC); Angelo Ferrando (UniGe); Davide Ancona (UniGe); Debora C. Engelmann (PUCRS; Rafael H. Bordini (PUCRS); UNIGE); Viviana Mascardi (UniGe)

RV4JaCa -- Runtime Verification for Multi-Agent Systems

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2207.09708 v1 pith:O7BLNEJK submitted 2022-07-20 cs.MA cs.AIcs.SE

Debora C. Engelmann (PUCRS , UniGe) , Angelo Ferrando (UniGe) , Alison R. Panisson (UFSC) , Davide Ancona (UniGe) , Rafael H. Bordini (PUCRS) , Viviana Mascardi (UniGe) This is my paper

classification cs.MAcs.AIcs.SE

keywords communicationagentscontrollingdialogueeventsflowimplementationlanguage

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

read the original abstract

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 layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us to a concern related to controlling the flow of dialogue so that agents can prevent any change in the topic of discussion that could impair their reasoning. We demonstrate the implementation of a monitor that aims to control this dialogue flow in a MAS that communicates with the user through natural language to aid decision-making in hospital bed allocation.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Governance-as-a-Service: A Multi-Agent Framework for AI System Compliance and Policy Enforcement
cs.LG 2025-08 reject novelty 4.0 of 10

An external policy-enforcement layer with a trust score claims to block risky AI-agent actions in simulations, but its core formula is inconsistent across the paper.

Pith tools