Simon, S.; Röger, G. Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. SOCS 2021, 6, 113-121.