U2],RU:MY<ős[L.)S!Ol;}vHH/Z&(ӵ_2q* pPl{*GT2MҺwh}L,G\zJf} Kehg 9(#TއjYC2+8,ЅI뾓#5?Y٪䶃VsnSxa9Wa翋FgZ|\2fY7>z{hods for the verification of ``uncertain" MAS much still has to be done. In this work we show how a "general-purpose" probabilistic model- checker, such as the PRISM tool, can be used for the analysis of a probabilistic variant of an alternating-offers negotiation game.