Synthesis for LTL and LDL on Finite Traces.

Giuseppe De Giacomo, Moshe Y. Vardi

Browse the full IJCAI paper archive.