Ancona, D 
ORCID: 0000-0002-6297-2011, Ferrando, A ORCID: 0000-0002-8711-4670 and Mascardi, V ORCID: 0000-0002-2261-9926
(2022)
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.
.
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.
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 02 Mar 2023 09:02 |
| Last Modified: | 02 Mar 2023 09:02 |
| Open Access URL: | https://ceur-ws.org/Vol-3204/paper_17.pdf |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3168674 |
Share
Share
