Vérification de SMA

Logique temporelle pour SMA

Formalisme logique permettant d'exprimer des propriétés sur l'évolution temporelle du comportement collectif des agents. Inclut CTL, LTL et leurs extensions pour le raisonnement sur les interactions multi-agents.

← Terug