%0 Journal Article %A Mathias Déhais %A Bruno Mermet %A Grégory Bonnet %T Vérification formelle de propriétés de vivacité pour des systèmes multi-agents probabilistes à l’aide d’arbre à décomposition de buts %J Revue Ouverte d'Intelligence Artificielle %D 2024 %P 117-144 %V 5 %N 4 %I Association pour la diffusion de la recherche francophone en intelligence artificielle %U https://roia.centre-mersenne.org/articles/10.5802/roia.89/ %R 10.5802/roia.89 %G fr %F ROIA_2024__5_4_117_0