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]
No reviews for this publication, yet.