# Finding and Exploiting LTL Trajectory Constraints in Heuristic Search

Simon, Salomé and Röger, Gabriele. (2015) Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). pp. 113-121.

 PDF - Published Version 550Kb

Official URL: http://edoc.unibas.ch/43155/