Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals.

Giuseppe De Giacomo, Sasha Rubin

Browse the full IJCAI paper archive.