Planejamento Multiagente Distribuído

Lógica Temporal Distribuída

Extensão das lógicas temporais (como LTL) para especificar e verificar propriedades sobre o comportamento global de um sistema multiagente, onde os operadores lógicos são avaliados em traços de execução distribuídos.

← Voltar