TY - JOUR AU - Mathias Déhais AU - Bruno Mermet AU - Grégory Bonnet TI - Vérification formelle de propriétés de vivacité pour des systèmes multi-agents probabilistes à l’aide d’arbre à décomposition de buts JO - Revue Ouverte d'Intelligence Artificielle PY - 2024 SP - 117 EP - 144 VL - 5 IS - 4 PB - Association pour la diffusion de la recherche francophone en intelligence artificielle UR - https://roia.centre-mersenne.org/articles/10.5802/roia.89/ DO - 10.5802/roia.89 LA - fr ID - ROIA_2024__5_4_117_0 ER -