We generalise the interval-based relaxation to sequential numeric planning problems with
non-linear conditions and effects, and cyclic dependencies. This effectively removes all the …

In many real-world hybrid (mixed discrete continuous) planning problems such as Reservoir
Control, Heating, Ventilation and Air Conditioning (HVAC), and Navigation, it is difficult to …

The automatic generation of realistic behaviour such as tactical intercepts for Unmanned
Aerial Vehicles (UAV) in air combat is a challenging problem. State-of-the-art solutions …

This paper describes a novel encoding for sequential numeric planning into the problem of
determining the satisfiability of a logical theory T. We introduce a novel technique …

The paper generalises the notion of landmarks for reasoning about planning problems
involving propositional and numeric variables. Intuitively, numeric landmarks are regions in …

Given recent deep learning results that demonstrate the ability to effectively optimize high-
dimensional non-convex functions with gradient descent optimization on GPUs, we ask in …

In a recent position paper in Artificial Intelligence, we argued that the automated planning
research literature has underestimated the importance and difficulty of deliberative acting …

In recent years, domain-independent planning has been applied to a rising number of real-
world applications. Usually, the description language of choice is PDDL. However, PDDL is …

Hybrid PDDL+ models are amongst the most advanced models of systems and the resulting
problems are notoriously difficult for planning engines to cope with. An additional limiting …

In many complex planning problems with factored, continuous state and action spaces such
as Reservoir Control, Heating Ventilation and Air Conditioning (HVAC), and Navigation …