Search Results for author: Alison R. Panisson

Found 1 papers, 1 papers with code

RV4JaCa -- Runtime Verification for Multi-Agent Systems

1 code implementation • 20 Jul 2022 • Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework.

Decision Making

0

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.