Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic.

Luigi Bonassi, Giuseppe De Giacomo, Alfonso Emilio Gerevini, Enrico Scala

Browse the full ECAI paper archive.