Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata
Henning Dierks, Gerd Behrmann, Kim G. Larsen · 2002
We present a translation for the variant PDDL 3 of PDDL (Planning Domain Definition Language) into Timed Automata. The advantage of having such a translation is the availability of tool support by modelcheckers. We present a case study in which we apply a version of UPPAAL that has been extended for the search of cost-optimal solutions.