Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Engelmann, Debora C."'
Autor:
Engelmann, Debora C., Ferrando, Angelo, Panisson, Alison R., Ancona, Davide, Bordini, Rafael H., Mascardi, Viviana
Publikováno v:
EPTCS 362, 2022, pp. 23-36
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 layer is capable of controlling events during the execution of the syste
Externí odkaz:
http://arxiv.org/abs/2207.09708
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Engelmann, Debora C., Ferrando, Angelo, Panisson, Alison R., Ancona, Davide, Bordini, Rafael H., Mascardi, Viviana
Publikováno v:
Robotics; Apr2023, Vol. 12 Issue 2, p49, 21p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.