Vérification de SMA

Propriétés d'émergence

Caractéristiques globales du système résultant d'interactions locales entre agents mais non explicitement programmées. Leur vérification formelle représente un défi majeur dans la validation des SMA.

← Retour