Multiagent Systems (MASs) are distributed systems composed by autonomous, reactive, proactive, heterogeneous communicating entities. In order to dynamically verify the behavior of such complex systems, a decentralized solution able to scale with the number of agents is necessary. When, for physical, infrastructural, or legal reasons, the monitor is not able to observe all the events emitted by the MAS, gaps are generated. In this paper we present a runtime verification decentralized approach to handle observation gaps in a MAS.
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps / Ancona, D.; Ferrando, A.; Mascardi, V.. - 3204:(2022), pp. 154-170. (Intervento presentato al convegno 37th Italian Conference on Computational Logic, CILC 2022 tenutosi a ita nel 2022).
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps
Ferrando A.;
2022
Abstract
Multiagent Systems (MASs) are distributed systems composed by autonomous, reactive, proactive, heterogeneous communicating entities. In order to dynamically verify the behavior of such complex systems, a decentralized solution able to scale with the number of agents is necessary. When, for physical, infrastructural, or legal reasons, the monitor is not able to observe all the events emitted by the MAS, gaps are generated. In this paper we present a runtime verification decentralized approach to handle observation gaps in a MAS.
| File | Dimensione | Formato | |
|---|---|---|---|
|
CILC22-versione-online.pdf
Open access
Tipologia:
VOR - Versione pubblicata dall'editore
Dimensione
1.03 MB
Formato
Adobe PDF
|
1.03 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
