… Automated planning has been used in several real-world … at the International Conference
on Automated Planning and … in both robotics and automated planning—Shakey the robot (23). …

… which types of planning strategies and planning models are used is considered. This is
mainly differentiated between more flexible planning approaches such as automated planning [5]…

… family of planning portfolios submitted to the International Planning … Conference on Automated
Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017…

… After formally introducing the classical MAPF problem, we will propose a core scheduling
model … While the extension of the proposed scheduling-based model is straightforward for this …

… This thesis discusses techniques for automated planning task reformulation, namely
entanglements and macro-operators. Then, the thesis discusses a technique for manual encoding …

… ; and Smith, SF, eds., Proceedings of the Twenty-Seventh International Conference … Automated
Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017…

… checker via policy synthesis, enabling automated plan generation. A PRISM MDP model is
… and planning synthesis previously described, we need to embed them in a control loop [23] …

… The main goal of Automated Planning is to find sequences of actions (… Proceedings of
the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS …

… This work took a first step towards reasoning about social laws using automated planning,
by describing a formalism to represent social laws and a criteria for social law robustness, as …

… concurrent multiagent planning to classical planning, allowing us to use … Proceedings of
the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS …