Berthon, R.; Katoen, J.-P.; Mittelmann, M.; Murano, A. Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI 2024, 38, 17308-17316.