Verificação de SMA

Composicionalidade

Princípio segundo o qual as propriedades globais do SMA podem ser deduzidas das propriedades de seus componentes individuais. Facilita a verificação modular de sistemas multiagentes complexos.

← Voltar