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]
@article{NigamKMT22,
title = {Detection and diagnosis of deviations in distributed systems of autonomous agents},
author = {Vivek Nigam and Minyoung Kim and Ian A. Mason and Carolyn L. Talcott},
year = {2022},
month = {October},
doi = {10.1017/S0960129522000251},
url = {https://doi.org/10.1017/S0960129522000251},
researchr = {https://researchr.org/publication/NigamKMT22},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {32},
number = {9},
pages = {1254-1282},
}