Detection and diagnosis of deviations in distributed systems of autonomous agents
From MaRDI portal
Publication:5889310
DOI10.1017/S0960129522000251MaRDI QIDQ5889310
Vivek Nigam, Min-Young Kim, Ian A. Mason, Carolyn L. Talcott
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68-XX: Computer science
Uses Software