The deployment of automated planning in safety critical systems has resulted in the need for
the development of robust automated planners that can (i) accurately model complex …

Dealing with planning problems with both logical relations and numeric changes in real-
world dynamic environments is challenging. Existing numeric planning systems for the …

The emergence of planners capable of reasoning with continuous dynamics, as expressed
in PDDL+, has increased the range of problems that fall within the capabilities of PDDL …

We explore how planning for near optimal behaviors of mixed discrete-continuous systems
can be done by deductive reasoning. For reasoning to be efficient, it must be properly …

Currently, robotic technology offers flexible platforms for addressing many challenging
problems that arise in extreme environments. These problems' nature enhances the use of …

Planning, in its purest form, is the process of organising a set of actions, while anticipating
the effect of each action, to achieve pre-stated objectives. Artificial Intelligence (AI) Planning …