16 citations · 61 across the 15 of their papers we have counts for
1 paper · 2 filters
Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson +3
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 la…