A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

Open in new window