Probabilistic Alternating-Time Temporal Logic with Stochastic Abilities. - Sarra Zaghbib; Gabriel Ballot; Vadim Malvone; Jean Leneutre (ICAART (1), 2026)