Computing Infinite Plans for LTL Goals Using a Classical Planner.

Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner

Browse the full IJCAI paper archive.