C. Mu, N. Motamed, N. Alechina, and B. Logan, “Probabilistic Strategy Logic with Degrees of Observability”, AAAI, vol. 39, no. 14, pp. 15092–15099, Apr. 2025.