Finding and Exploiting LTL Trajectory Constraints in Heuristic Search

Salomé Simon
Salomé Simon

International Annual Symposium on Combinatorial Search, 2015.

Cited by: 2|Bibtex|Views8
EI
Other Links: academic.microsoft.com|dblp.uni-trier.de

Code:

Data:

Your rating :
0

 

Tags
Comments