Vérification de SMA

Vérification de vivacité

Garantie que certaines conditions souhaitées seront finalement atteintes par le système multi-agents. La vivacité assure que les bonnes choses finissent par se produire dans l'évolution du système.

← Retour