Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps

Autor:	Ancona, D., Ferrando, A., Mascardi, V.
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	Agent Interaction Protocols Decentralized Runtime Verification Multiagent Systems Observation Gaps Probabilistic Trace Expressions
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3710::5e618e7d0bf12e60439d23fd095a4056 https://hdl.handle.net/11567/1100690 Zobrazit plný text záznamu