Debora C. Engelmann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Angelo Ferrando
17 publications
Davide Ancona
13 publications
Viviana Mascardi
10 publications
Rafael H. Bordini
1 publication
Alison R. Panisson
1 publication

research

∙ 07/20/2022

RV4JaCa – Runtime Verification for Multi-Agent Systems

This paper presents a Runtime Verification (RV) approach for Multi-Agent...

0 Debora C. Engelmann, et al. ∙