@inproceedings{DeGiacomo2026GologSynthesis,
  title = "Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Matteo Mancanelli and Gianmarco Parretti",
  year = "2026",
  booktitle = "Proceedings of KR 2026",
}