Bourahla, M. B., & Benmohamed, M. Model Checking Multi-Agent Systems. Informatica, 29(2). Retrieved from https://puffbird.ijs.si/index.php/informatica/article/view/32