Citation:Alotaibi, H. and Zedan, H. (2010) Runtime verification of safety properties in multi-agents systems. Proceedings of the 2010 10th International Conference on Intelligent Systems Design and Applications, ISDA'10, Article number 5687238, pp. 356-362