Planificación Multiagente Distribuida

Lógica Temporal Distribuida

Extensión de las lógicas temporales (como LTL) para especificar y verificar propiedades sobre el comportamiento global de un sistema multiagente, donde los operadores lógicos se evalúan sobre trazas de ejecución distribuidas.

← Volver