@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/}
}