Mu, C.; Motamed, N.; Alechina, N.; Logan, B. Probabilistic Strategy Logic With Degrees of Observability. AAAI 2025, 39, 15092-15099.