@article{ROIA_2024__5_4_117_0, author = {Mathias D\'ehais and Bruno Mermet and Gr\'egory Bonnet}, title = {V\'erification formelle de propri\'et\'es de vivacit\'e pour des syst\`emes multi-agents probabilistes \`a l{\textquoteright}aide d{\textquoteright}arbre \`a d\'ecomposition de buts}, journal = {Revue Ouverte d'Intelligence Artificielle}, pages = {117--144}, publisher = {Association pour la diffusion de la recherche francophone en intelligence artificielle}, volume = {5}, number = {4}, year = {2024}, doi = {10.5802/roia.89}, language = {fr}, url = {https://roia.centre-mersenne.org/articles/10.5802/roia.89/} }