A Contribution to the Formal Checking of Multi-Agents Systems.

Faiza Belala A. Boucherit

Published in: AICCSA (2006)

Keyphrases

multi agents systems
multi agent systems
artificial intelligence
information retrieval
computer vision
clustering algorithm
multi agent
data structure
data model
formal model