Browse by Basel Contributors ID

Group by: Date | Item Type | Refereed | No Grouping

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.

edoc-vmtest is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.