12 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
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…