Mu, Chunyan, Nima Motamed, Natasha Alechina, and Brian Logan. 2025. “Probabilistic Strategy Logic With Degrees of Observability”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (14):15092-99. https://doi.org/10.1609/aaai.v39i14.33655.