High-level Programming via Generalized Planning and LTL Synthesis.

Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin

Browse the full KR paper archive.