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]

Authors

Vivek Nigam

This author has not been identified. Look up 'Vivek Nigam' in Google

Minyoung Kim

This author has not been identified. It may be one of the following persons: Look up 'Minyoung Kim' in Google

Ian A. Mason

This author has not been identified. Look up 'Ian A. Mason' in Google

Carolyn L. Talcott

This author has not been identified. Look up 'Carolyn L. Talcott' in Google