Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDT. - Mathias Déhais; Bruno Mermet; Grégory Bonnet (JFSMA, 2023)

Spécifier et vérifier en GDT4MAS des ensembles dynamiques d'agents. - Mathias Déhais; Bruno Mermet; Grégory Bonnet (JFSMA, 2024)

Vérification formelle de propriétés de vivacité pour des systèmes multi-agents probabilistes à l'aide d'arbre à décomposition de buts. - Mathias Déhais; Bruno Mermet; Grégory Bonnet (Rev. Ouverte Intell. Artif., 2024)