Runtime verification of safety properties in multi-agents systems.

Hind Alotaibi Hussein Zedan

Published in: ISDA (2010)

Keyphrases

multi agents systems
multi agent systems
neural network
knowledge base
desirable properties
data sets
computer vision
data structure
distributed systems
model checking
structural properties
formal verification
safety analysis
functional verification