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  -