SIMON, Salomé; RÖGER, Gabriele. Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. Proceedings of the International Symposium on Combinatorial Search, [S. l.], v. 6, n. 1, p. 113–121, 2021. DOI: 10.1609/socs.v6i1.18361. Disponível em: https://ojs.aaai.org/index.php/SOCS/article/view/18361. Acesso em: 27 may. 2026.