Design of a Solver for Multi-Agent Epistemic Planning

Open in new window