%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