From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
whitemech
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals