Planning based on dynamic epistemic logic
Benedikt Löwe, Eric Pacuit, Andreas Witzel

Abstract:
We define the "DEL planning problem" and give a toy example of a
planning algorithm based on DEL.