Vérification de SMA

Vérification de protocoles d'interaction

Analyse formelle des règles de communication et de coordination entre agents pour garantir leur bon fonctionnement. Inclut la validation des protocoles de négociation, de coopération et de compétition.

← Geri