Back to Results
First PageMeta Content
Heuristics / Game artificial intelligence / Combinatorial optimization / Linear temporal logic / Mathematics / A* search algorithm / Heuristic function / Information science / Temporal logic / Search algorithms / Artificial intelligence / Routing algorithms


A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel
Add to Reading List

Document Date: 2014-06-13 10:43:18

Open Document

File Size: 531,12 KB

Share Result on Facebook
UPDATE