Planification Multi-Agents Distribuée

Logique Temporelle Distribuée

Extension des logiques temporelles (comme LTL) pour spécifier et vérifier des propriétés sur le comportement global d'un système multi-agents, où les opérateurs logiques sont évalués sur des traces d'exécution distribuées.

← Retour