Runtime verification of safety properties in multi-agents systems

Hind Alotaibi, Hussein Zedan. Runtime verification of safety properties in multi-agents systems. In 10th International Conference on Intelligent Systems Design and Applications, ISDA 2010, November 29 - December 1, 2010, Cairo, Egypt. pages 356-362, IEEE, 2010. [doi]

Abstract

Abstract is missing.