Detection and diagnosis of deviations in distributed systems of autonomous agents

Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott. Detection and diagnosis of deviations in distributed systems of autonomous agents. Mathematical Structures in Computer Science, 32(9):1254-1282, October 2022. [doi]

Abstract

Abstract is missing.