Planning for hybrid systems is important for dealing with real-world applications, and PDDL+
supports this representation of domains with mixed discrete and continuous dynamics. In …

Temporal planning offers numerous advantages when based on an expressive
representation. Timelines have been known to provide the required expressiveness but at …

Planning for multi-robot coordination during long horizon missions in complex environments
need to consider resources, temporal constraints, and uncertainty. This could be …

Automated temporal planning is the technology of choice when controlling systems that can
execute more actions in parallel and when temporal constraints, such as deadlines, are …

Since the release of PDDL 2.1, many planners accepted the challenge of addressing more
complicated domains and problems, including both temporal and numeric features for …

The increase in robotic capabilities and the number of such systems being used has
resulted in opportunities for robots to work alongside humans in an increasing number of …

We present a simple and concise semantics for temporal planning. Our semantics are
developed and formalised in the logic of the interactive theorem prover Isabelle/HOL. We …

Due to increased demands related to flexible product configurations, frequent order
changes, and tight delivery windows, there is a need for flexible production using AI …

The planning problem in Artificial Intelligence was the first application of SAT to reasoning
about transition systems and a direct precursor to the use of SAT in a number of other …

We present a principled way of extending a classical AI planning formalism with systems of
state constraints, which relate-sometimes determine-the values of variables in each state …