Runtime verification of safety properties in multi-agents systems.

Hind Alotaibi, Hussein Zedan

Browse the full ISDA paper archive.