De Giacomo, G.; Lesperance, Y.; Mancanelli, M. Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus. AAAI 2026, 40, 19047-19054.