UAV-Task-PDDL Simple planning tests of AUV Spike Test Task Planning for Spike Test Goals: Dock with one sensor, get data, transmit while in surface; Assumptions: Several waypoints in the cable and only one waypoints is the sensor; Battery consumption modelled; Only one AUV; Actions with duration.