Shielded FOND: Planning With Safety Constraints in Pure−Past Linear Temporal Logic

Luigi Bonassi‚ Giuseppe De Giacomo‚ Alfonso Emilio Gerevini and Enrico Scala