“Model Checking Multi-Agent Systems”, INF, vol. 29, no. 2, Accessed: Nov. 16, 2025. [Online]. Available: https://puffbird.ijs.si/index.php/informatica/article/view/32