Verificación de SMA

Lógica temporal para SMA

Formalismo lógico que permite expresar propiedades sobre la evolución temporal del comportamiento colectivo de los agentes. Incluye CTL, LTL y sus extensiones para el razonamiento sobre interacciones multiagente.

← Volver