Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus.

Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli, Gianmarco Parretti

Browse the full KR paper archive.