Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi. Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. In Roberta Calegari, Giovanni Ciatto, Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. Volume 3204 of CEUR Workshop Proceedings, pages 154-170, CEUR-WS.org, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.