Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus

Giuseppe De Giacomo‚ Yves Lespérance‚ Matteo Mancanelli and Gianmarco Parretti