RV4JaCa -- Runtime Verification for Multi-Agent Systems

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

Modelling a chain of command in the incident command system using sequential characteristic function games.

Autor: Krausburg, Tabajara, Bordini, Rafael H., Dix, Jürgen

Publikováno v: Annals of Mathematics & Artificial Intelligence; Aug2024, Vol. 92 Issue 4, p925-951, 27p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications.

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

Agent programming in the cognitive Era

Autor: Bordini, Rafael H., El Fallah-Seghrouchni, Amal, Hindriks, K.V., Logan, B.S., Ricci, Alessandro, Sub Intelligent Systems, Intelligent Systems

Publikováno v: Bordini, R H, El Fallah Seghrouchni, A, Hindriks, K, Logan, B & Ricci, A 2020, ' Agent programming in the cognitive era ', Autonomous Agents and Multi-Agent Systems, vol. 34, no. 2, 37, pp. 1-31 . https://doi.org/10.1007/s10458-020-09453-y
Autonomous Agents and Multi-Agent Systems, 34(2):37, 1-31. Springer Netherlands
AAMAS
AAMAS 2021: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, 1706-1708
STARTPAGE=1706;ENDPAGE=1708;TITLE=AAMAS 2021
Scopus-Elsevier
Bordini, R H, Seghrouchni, A E F, Hindriks, K, Logan, B & Ricci, A 2021, Agent programming in the cognitive Era . in AAMAS 2021 : Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems . Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, vol. 3, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), pp. 1706-1708, 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2021, Virtual, Online, 3/05/21 . https://doi.org/10.5555/3463952.3464213
Journal of Autonomous Agents and Multi Agent Systems, 34

It is claimed that, in the nascent ‘Cognitive Era’, intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that machine learning has limitations, and, t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89e0d71997fe192ce7ad889549050d53
https://hdl.handle.net/1871.1/58ff6953-1d91-47de-84a2-18863cbdd0b2