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.
← Kembali