De Giacomo, G., Lesperance, Y. and Mancanelli, M. (2026) “Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), pp. 19047–19054. doi: 10.1609/aaai.v40i23.38977.