@inproceedings{DeGiacomo2026StrategicReasoningGolog,
  title = "Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Matteo Mancanelli",
  year = "2026",
  booktitle = "Proceedings of AAAI 2026",
}