Vérification de SMA

Compositionnalité

Principe selon lequel les propriétés globales du SMA peuvent être déduites des propriétés de ses composants individuels. Facilite la vérification modulaire des systèmes multi-agents complexes.

← Back