S. Simon and G. Röger, “Finding and Exploiting LTL Trajectory Constraints in Heuristic Search”, SOCS, vol. 6, no. 1, pp. 113–121, Sep. 2021.