Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus

Giuseppe De Giacomo‚ Yves Lespérance and Matteo Mancanelli