Kalech, Meir, and Avraham Natan. 2022. “Model-Based Diagnosis of Multi-Agent Systems: A Survey”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (11):12334-41. https://doi.org/10.1609/aaai.v36i11.21498.