Runtime verification of safety properties in multi-agents systems.
Date
2010
Authors
Advisors
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
IEEE
Type
Conference
Peer reviewed
Yes
Abstract
Description
Keywords
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