Runtime verification of safety properties in multi-agents systems.
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
ISBN : 9781424481347
Research Group : Software Technology Research Laboratory (STRL)
Peer Reviewed : Yes