Verificação de SMA

Lógica Temporal para SMA

Formalismo lógico que permite expressar propriedades sobre a evolução temporal do comportamento coletivo dos agentes. Inclui CTL, LTL e suas extensões para o raciocínio sobre interações multiagente.

← Voltar