De Giacomo, Giuseppe, Yves Lesperance, and Matteo Mancanelli. 2026. “Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (23):19047-54. https://doi.org/10.1609/aaai.v40i23.38977.