R. Berthon, J.-P. Katoen, M. Mittelmann, and A. Murano, “Natural Strategic Ability in Stochastic Multi-Agent Systems”, AAAI, vol. 38, no. 16, pp. 17308–17316, Mar. 2024.