This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning Domain Description ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results