… We describe DecAMon, an algorithm for decentralizing the monitoring of the MAS communicative
behavior … If some agents in the MAS are grouped together and monitored by the same …

… the MAS, gaps are generated. In this paper we present a runtime verification decentralized
approach to handle observation gaps in a MAS. … the DecAMon algorithm to decentralize agent …

… the MAS, gaps are generated. In this paper we present a runtime verification decentralized
approach to handle observation gaps in a MAS. … the DecAMon algorithm to decentralize agent …

… The second issue, namely how to partially decentralize the runtime monitoring process also
… for taking unobservable events into account during MAS monitoring, discussed in Sect. 4, …

… of a monitor that aims to control this dialogue flow in a MAS that communicates with the user
… runtime using multiple monitors. This is obtained by decentralising the global specification (…

… MAS monitoring under the assumption of partial observability: even if the global protocol
ruling the MAS … bad is when we want to decentralize the monitoring activity, by having different …

… 2(b) the developer updates the MAS partition for decentralized runtime verification purposes,
in order to preserve the connectedness for sequence and unique point of choice at least at …

… MAS and how to increase their reliability, we keep in mind robotic applications as the target
of our MAS … This is obtained by decentralising the global specification (specified as a Trace …

… This issue can bring to have missing information during the decentralization of our … In the
MAS context, we plan to add a connector to Jason. Outside the MAS community, we will explore …

… Mas-drive: a practical approach to decentralized runtime verification of agent interaction
protocols. In Proceedings of the 17th … Decentralizing mas monitoring with decamon. In S. Das, E. …