Rigorous Automated Planning 2022

A core issue within Artificial Intelligence (AI), Robotics, and Control is how a system optimizes its decisions with none or limited human intervention. Aspects of planning are addressed by Artificial Intelligence domain-independent planning and decision-making, motion planning, control, as well as formal verification and synthesis. The goal of this seminar is to bring together these different communities that individually do not yet have solutions to accomplish all of these key features at once.