Abstract The Action Notation Modeling Language (ANML) provides a high-level, convenient,
and succinct alternative to existing planning languages such as PDDL, the IxTeT language …

Planning for and controlling a network of interacting devices requires a planner that
accounts for the automatic timed transitions of devices, while meeting deadlines and …

A recent concern in marine robotics is to consider the deployment of fleets of autonomous
underwater vehicles (AUVs) and autonomous surface vehicles (ASVs). Multiple vehicles …

We present a technique for automatically extracting temporal mutual exclusion invariants
from PDDL2. 2 planning instances. Our technique builds on other approaches to invariant …

We present a technique for automatically extracting temporal mutual exclusion invariants
from PDDL2. 2 planning instances. We first identify a set of invariant candidates by …

Timeline-based planning is an approach originally developed in the context of space
mission planning and scheduling, where problem domains are modelled as systems made …

In this paper we discuss the nature of the verification and validation problems as they apply
to planning domain specification, construction and use. We consider the extent to which it is …

Robotics requires the integration of three heterogeneous planning processes: logical task
planning, temporal resource allocation planning and path planning. On one hand the …

We present a technique for automatically extracting mutual exclusion invariants from
temporal planning instances. It first identifies a set of invariant templates by inspecting the …

In timeline-based planning, domains are described as sets of independent, but interacting,
components, whose behaviour over time (the set of timelines) is governed by a set of …