TY  - RPRT
TI  - RV4JaCa -- Runtime Verification for Multi-Agent Systems
AU  - Debora C. Engelmann
AU  - Angelo Ferrando
AU  - Alison R. Panisson
AU  - Davide Ancona
AU  - Rafael H. Bordini
AU  - Viviana Mascardi
PY  - 2022
DO  - 10.4204/eptcs.362.5
UR  - https://arxiv.org/abs/2207.09708
ID  - 2207.09708
ER  -