Simon, S., & Röger, G. (2021). Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. Proceedings of the International Symposium on Combinatorial Search, 6(1), 113–121. https://doi.org/10.1609/socs.v6i1.18361